Concurrency Verification: Introduction to Compositional and Noncompositional Methods (Cambridge Tracts in Theoretical Computer Science, 54, Band 54) - Softcover

De Roever, Willem-Paul

 
9780521169325: Concurrency Verification: Introduction to Compositional and Noncompositional Methods (Cambridge Tracts in Theoretical Computer Science, 54, Band 54)
Softcover
ISBN 10: 0521169321 ISBN 13: 9780521169325
Verlag: Cambridge University Press, 2011

Inhaltsangabe

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
0521169321
ISBN 13 
9780521169325
Einband
Taschenbuch
Anzahl der Seiten
800
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780521806084: Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Cambridge Tracts in Theoretical Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0521806089 ISBN 13:  9780521806084
Verlag: Cambridge University Press, 2001
Hardcover