Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47) - Hardcover
Book 29 of 40: Cambridge Tracts in Theoretical Computer Science
Synopsis
Graduate text in formal methods in computer science.
"synopsis" may belong to another edition of this title.
Review
"The presentation of the theory is backed up by some substantial examples...and this together with the extensive historical notes makes the book an extremely useful reference manual and graduate text."
Book Description
This is a comprehensive and systematic account of the important and highly applicable method of data refinement. The authors concentrate on principles and begin with an explanation of the fundamental notions. Accessibility and comprehension are emphasized in order to guide newcomers to the area. The book is self-contained, going from advanced undergraduate level but taking the reader to the frontiers of the subject.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Data Refinement: Model-Oriented Proof Methods and their...
Stock Image
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Published by
Cambridge University Press, 1999
ISBN 10: 0521641705
ISBN 13: 9780521641708
New
Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0521641705
Stock Image
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Published by
Cambridge University Press, 1999
ISBN 10: 0521641705
ISBN 13: 9780521641708
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521641708_new
Buy New
£ 131.72
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Published by
Cambridge University Press, 1999
ISBN 10: 0521641705
ISBN 13: 9780521641708
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 846510-n
Stock Image
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Published by
Cambridge University Press, 1999
ISBN 10: 0521641705
ISBN 13: 9780521641708
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9780521641708
Seller Image
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Published by
Cambridge University Press, 1999
ISBN 10: 0521641705
ISBN 13: 9780521641708
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 846510
Seller Image
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Published by
Cambridge University Press, 1999
ISBN 10: 0521641705
ISBN 13: 9780521641708
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 846510-n
Buy New
£ 131.71
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Data Refinement
Published by
Cambridge University Press CUP, 1999
ISBN 10: 0521641705
ISBN 13: 9780521641708
New
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 436. Seller Inventory # 26261218
Stock Image
Data Refinement (Hardcover)
Published by
Cambridge University Press, Cambridge, 1998
ISBN 10: 0521641705
ISBN 13: 9780521641708
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation. Graduate text in formal methods in computer science. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521641708
Stock Image
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 423 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand. Seller Inventory # __0521641705
Buy New
£ 145.19
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Data Refinement
Published by
Cambridge University Press, 1999
ISBN 10: 0521641705
ISBN 13: 9780521641708
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 436 18 Illus. Seller Inventory # 7619517
Buy New
£ 151.49
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available