Formal Methods for Open Object-based Distributed Systems - Ifip Advances in Information and Communication Technology - International Conference on Formal Methods for Open Object-based Distributed Systems - Livros - Kluwer Academic Publishers - 9780792384298 - 28 de fevereiro de 1999
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 - Ifip Advances in Information and Communication Technology

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

Preço
CA$ 308,45

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 14 - 22 de ago
Adicione à sua lista de desejos do iMusic

Formal Methods for Open Object-based Distributed Systems - Ifip Advances in Information and Communication Technology

Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.


448 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 28 de fevereiro de 1999
ISBN13 9780792384298
Editoras Kluwer Academic Publishers
Páginas 448
Dimensões 156 × 234 × 25 mm   ·   861 g
Idioma English  
Editor Ciancarini, Paolo
Editor Fantechi, Alessandro
Editor Gorrieri, Roberto

Mostrar tudo

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