Sprache: Englisch
Verlag: Cambridge University Press CUP, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. Print on Demand pp. 436.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 173,54
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 436 18 Illus.
Sprache: Englisch
Verlag: Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 436.
Sprache: Englisch
Verlag: Cambridge University Press, 2007
ISBN 10: 0521641705 ISBN 13: 9780521641708
Anbieter: moluna, Greven, Deutschland
EUR 162,72
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Graduate text in formal methods in computer science.InhaltsverzeichnisPart I. Theory: 1. Introduction to data refinement 2. Simulation as a proof method for data refinement 3. Relations and recursion 4. Properties of simulation 5.