Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)
Free Shipping Included! Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) by Brand: Cambridge University Press at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. 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 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 topics of Hoare Logic and the Refinement Calculus are introduced and a general theory of simulations is developed and related to them. Accessibility and comprehension are emphasized in order to guide newcomers to the area. The book's second part contains a detailed survey of important methods in this field, such as VDM, and the methods due to Abadi & Lamport, Hehner, Lynch and Reynolds, Back's refinement calculus and Z. All these methods are carefully analysed, and shown to be either imcomplete, 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 analyzed 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.
|Manufacturer:||Cambridge University Press|
|Brand:||Brand: Cambridge University Press|
|Publisher:||Cambridge University Press|
|Studio:||Cambridge University Press|
|Item Weight:||1.78 pounds|
|Item Size:||1.14 x 9.72 x 9.72 inches|
|Package Weight:||1.85 pounds|
|Package Size:||6.14 x 0.94 x 0.94 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Brand: Cambridge University Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Cengage Learning
ean: 9781418835408, isbn: 1418835404,
Java Programming: Program Design Including Data Structures is intended for a two-semester CS1/CS2 sequence in Java, beginning with core computer science concepts and moving into data structures later in the text. Each chapter employs D.S. Malik's pro...
By Prentice Hall
International edition. All English content. Small tear on binding. Signs of use on outside. Pages in excellent condition....
By Saunders College Publishing
ean: 9780155168206, isbn: 0155168207,
This text is intended for the one-term course in data structures with the following prerequisites: mastery of a high-level programming language, preferably Pascal, and finite or discrete mathematics. Each basic concept is introduced first through num...
ean: 9780321375254, isbn: 0321375254,
Takes a gentle approach to learning data structures using the Java programming language. Providing an early, self-contained review of object-oriented programming and Java, this text gives readers a firm grasp of key concepts and allows those expe...
By Brand: Addison-Wesley
ean: 9780321304285, isbn: 0321304284,
The second edition, in Java, of the classic Walls and Mirrors approach to programming designs solutions to problems using both data abstraction (the walls) and recursion (the Mirrors). Data Abstraction and Problem Solving with Java: Walls and Mirrors...
By Brand: Prentice Hall
ean: 9780132370455, isbn: 013237045X,
Using the latest features of Java 5, this unique object-oriented presentation introduces readers to data structures via thirty, manageable chapters. KEY FeaturesTOPICS: Introduces each ADT in its own chapter, including examples or applications. ...
ean: 9780136078586, isbn: 0136078583,
The third edition of Java Software Structures embraces the enhancements of the latest version of Java (Java 6, as well as Java 5), where all structures and collections are based on generics. The framework of the text walks the reader through three m...
By Brand: Addison-Wesley
ean: 9780321545862, isbn: 0321545869,
Starting Out with Java: From Control Structures through Data Structures is designed to be used in a 2 or 3 semester/quarter sequence for beginning programmers. Tony Gaddis emphasizes problem-solving and program design by teaching the Java programming...
ean: 9780321441461, isbn: 032144146X,
In this text, readers are able to look at specific problems and see how careful implementations can reduce the time constraint for large amounts of data from several years to less than a second. Class templates are used to describe generic data stru...
By Jones & Bartlett Learning
ean: 9780763757564, isbn: 076375756X,
With an accessible writing style and manageable amount of content, Data Structures and Algorithms Using Java is the ideal text for your course. This outstanding text correlates to the recommended syllabus put forth by the Association of Computing Mac...