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
€ 193,49

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

Paredzamā piegāde . gada 6. - 20. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Pievienot savam iMusic vēlmju sarakstam

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.


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)

Vairāk no tā paša izdevēja