Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - - Knjige - Cambridge University Press - 9780521771849 - 22. oktobra 2001
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 174,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 10. - 24. jun

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 22. oktobra 2001
ISBN13 9780521771849
Založniki Cambridge University Press
Strani 492
Dimenzije 178 × 254 × 27 mm   ·   1,02 kg
Jezik Angleščina  
Urednik Bowman, Howard (University of Kent, Canterbury)
Urednik Derrick, John (University of Kent, Canterbury)

Mere med samme udgiver