Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches -  - Grāmatas - Cambridge University Press - 9780521771849 - 2001. gada 22. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 186,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 10. - 24. jūn.
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2001. gada 22. oktobris
ISBN13 9780521771849
Izdevēji Cambridge University Press
Lapas 492
Izmēri 178 × 254 × 27 mm   ·   1,02 kg
Valoda Angļu  
Redaktors Bowman, Howard (University of Kent, Canterbury)
Redaktors Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver