Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Cambridge University Press CUP, 1999
ISBN 10: 0521641705ISBN 13: 9780521641708
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 436.
Published by Cambridge University Press, 1999
ISBN 10: 0521641705ISBN 13: 9780521641708
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: New. pp. 436 18 Illus.
Published by Cambridge University Press, 2007
ISBN 10: 0521641705ISBN 13: 9780521641708
Seller: moluna, Greven, Germany
Book Print on Demand
Gebunden. Condition: 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.