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

Buch 29 von 40: Cambridge Tracts in Theoretical Computer Science

Roever, Willem-Paul De

 
9780521103503: Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, 47, Band 47)
Softcover
ISBN 10: 0521103509 ISBN 13: 9780521103503
Verlag: Cambridge University Press, 2009

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
2009
Sprache
Englisch
ISBN 10 
0521103509
ISBN 13 
9780521103503
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
436
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0521641705 ISBN 13:  9780521641708
Verlag: Cambridge University Press, 1999
Hardcover