Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - Kirjat - Cambridge University Press - 9780521168755 - torstai 21. heinäkuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Howard Bowman

Hinta
€ 65,99

Tilattu etävarastosta

Arvioitu toimitus ke 30. heinä - pe 8. elo
Lisää iMusic-toivelistallesi
Eller

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

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.


492 pages, black & white illustrations

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 21. heinäkuuta 2011
ISBN13 9780521168755
Tuottaja Cambridge University Press
Sivujen määrä 492
Mitta 178 × 254 × 25 mm   ·   850 g
Kieli English  
Toimittaja Bowman, Howard (University of Kent, Canterbury)
Toimittaja Derrick, John (University of Kent, Canterbury)

Näytä kaikki

Lisää tuotteita Howard Bowman