Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Objektorienteret programmering
  5. Computere og hardware
  6. Formal Methods for Distributed Processing: A Survey of...

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

(Bog, Hardback, Engelsk)
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Computere og hardware Objektorienteret programmering
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 22-10-2001
Første udgivelsesår 2001
Fagredaktør Howard (University of Kent Bowman, John (University of Kent Derrick
Originalsprog United Kingdom
Sideantal 492
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 492 pages
Mål 254 x 178 x 27
ISBN-13 / EAN-13 9780521771849