Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - - Bücher - Cambridge University Press - 9780521771849 - 22. Oktober 2001
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
€ 180,99

Bestellware

Lieferdatum: ca. 3. - 17. Aug

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

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

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 22. Oktober 2001
ISBN13 9780521771849
Verlag Cambridge University Press
Seitenanzahl 492
Maße 178 × 254 × 27 mm   ·   1,02 kg
Sprache Englisch  
Redakteur Bowman, Howard (University of Kent, Canterbury)
Redakteur Derrick, John (University of Kent, Canterbury)

Mehr vom selben Verlag