Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches -  - Kirjat - Cambridge University Press - 9780521771849 - maanantai 22. lokakuuta 2001
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Hinta
€ 190,99

Tilattu etävarastosta

Arvioitu toimitus ke 1. - 15. heinä
Lisää iMusic-toivelistallesi
tai

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.


490 pages, illustrations

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 22. lokakuuta 2001
ISBN13 9780521771849
Tuottaja Cambridge University Press
Sivujen määrä 492
Mitta 178 × 254 × 27 mm   ·   1,02 kg
Kieli Englanti  
Toimittaja Bowman, Howard (University of Kent, Canterbury)
Toimittaja Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver