
Conte aos seus amigos sobre este item:
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
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
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