Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - Knjige - Cambridge University Press - 9780521168755 - 21. julija 2011
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 67,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 24. jul - 7. avg
Prejemajte obvestila o novih izdajah izvajalca Howard Bowman
Dodaj na svoj seznam želja iMusic

Not rated yet

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 21. julija 2011
ISBN13 9780521168755
Založniki Cambridge University Press
Strani 492
Dimenzije 256 × 178 × 31 mm   ·   922 g
Jezik Angleščina  
Urednik Bowman, Howard (University of Kent, Canterbury)
Urednik Derrick, John (University of Kent, Canterbury)

Več od Howard Bowman

Prikaži vse

Več od istega **izdajatelja**