Data Refinement

Name: Data Refinement: Model-Oriented Proof Methods and Their Comparison
Brand: Cambridge University Press
SKU: 9780521103503
Price: 5127.00 INR
Availability: InStock

Model-Oriented Proof Methods and Their Comparison

by Willem-Paul de Roever, Kai Engelhardt

Cambridge University Press

₹5,127

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.