Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - Bøger - Cambridge University Press - 9780521168755 - 21. juli 2011
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 614

Bestilles fra fjernlager

Forventes klar til forsendelse 12. - 24. nov.
Julegaver kan byttes frem til 31. januar
Modtag notifikation om nye Howard Bowman udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 21. juli 2011
ISBN13 9780521168755
Forlag Cambridge University Press
Antal sider 492
Mål 256 × 178 × 31 mm   ·   922 g
Sprog Engelsk  
Klipper/redaktør Bowman, Howard (University of Kent, Canterbury)
Klipper/redaktør Derrick, John (University of Kent, Canterbury)

Mere med Howard Bowman

Vis alle

Mere med samme udgiver

Se alt med Howard Bowman