Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science) - Hardcover

Buch 29 von 40: Cambridge Tracts in Theoretical Computer Science

Deroever, W.; Roever, W. -P De; Englehardt, Kai

 
9780521641708: Data Refinement: Model-Oriented Proof Methods and Their Comparison (Cambridge Tracts in Theoretical Computer Science)
Hardcover
ISBN 10: 0521641705 ISBN 13: 9780521641708
Verlag: Cambridge University Press, 1999

Inhaltsangabe

Graduate text in formal methods in computer science.

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

Verlag
Cambridge University Press
Erscheinungsdatum
1999
Sprache
Englisch
ISBN 10 
0521641705
ISBN 13 
9780521641708
Einband
Gebundene Ausgabe
Anzahl der Seiten
436
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780521103503: Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, 47, Band 47)

Vorgestellte Ausgabe

ISBN 10:  0521103509 ISBN 13:  9780521103503
Verlag: Cambridge University Press, 2009
Softcover