Formal Methods for Open Object-based Distributed Systems Iv: Ifip Tc6/wg6.1. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform - International Conference on Formal Methods for Open Object-based Distributed Systems - Livros - Kluwer Academic Publishers - 9780792379232 - 31 de agosto de 2000
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Methods for Open Object-based Distributed Systems Iv: Ifip Tc6/wg6.1. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform

International Conference on Formal Methods for Open Object-based Distributed Systems

Preço
€ 213,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 18 - 27 de ago
Adicione à sua lista de desejos do iMusic

Formal Methods for Open Object-based Distributed Systems Iv: Ifip Tc6/wg6.1. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (Fmoods 2000) September 6-8, 2000, Stanford, California, USA - Ifip Advances in Inform

Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.


429 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de agosto de 2000
ISBN13 9780792379232
Editoras Kluwer Academic Publishers
Páginas 429
Dimensões 156 × 234 × 23 mm   ·   775 g
Editor Smith, Scott F.
Editor Talcott, Carolyn L.

Mostrar tudo

Mais por International Conference on Formal Methods for Open Object-based Distributed Systems