Faites connaître cet article à vos amis:
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édias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
| Validé | 28 février 1999 |
| ISBN13 | 9780792384298 |
| Éditeurs | Kluwer Academic Publishers |
| Pages | 448 |
| Dimensions | 156 × 234 × 25 mm · 861 g |
| Langue et grammaire | Anglais |
| Éditeur | Ciancarini, Paolo |
| Éditeur | Fantechi, Alessandro |
| Éditeur | Gorrieri, Roberto |
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier