Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - Böcker - Cambridge University Press - 9780521168755 - 21 juli 2011
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 739

Beställningsvara

Förväntad leverans 3 - 17 sep
Få avisering om nya utgåvor med Howard Bowman

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 21 juli 2011
ISBN13 9780521168755
Utgivare Cambridge University Press
Antal sidor 492
Mått 256 × 178 × 31 mm   ·   922 g
Språk Engelska  
Redaktör Bowman, Howard (University of Kent, Canterbury)
Redaktör Derrick, John (University of Kent, Canterbury)

Fler produkter med Howard Bowman

Visa alla

Mer från samma **utgivare**

Se alt med Howard Bowman ( t.ex. Inbunden Bok och Pocketbok )