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 - Kirjat - Kluwer Academic Publishers - 9780792384298 - sunnuntai 28. helmikuuta 1999
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 198,99

Tilattu etävarastosta

Arvioitu toimitus ma 5. - 12. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

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

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä sunnuntai 28. helmikuuta 1999
ISBN13 9780792384298
Tuottaja Kluwer Academic Publishers
Sivujen määrä 448
Mitta 156 × 234 × 25 mm   ·   861 g
Kieli Englanti  
Toimittaja Ciancarini, Paolo
Toimittaja Fantechi, Alessandro
Toimittaja Gorrieri, Roberto

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

Näytä kaikki