Data Refinement (English, Willem-Paul de Roever | Kai Engelhardt)
by Willem-Paul de Roever | Kai Engelhardt
Delivery options
₹6,863
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹6,863
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521103503
ISBN-10
0521103509
Author
Willem-Paul de Roever | Kai Engelhardt
About the Book
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…
ISBN: 9780521103503
ISBN-13: 9780521103503
ISBN-10: 0521103509
Frequently Asked Questions
What is the price of Data Refinement?
Data Refinement starts from ₹6863 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Data Refinement?
Willem-Paul de Roever | Kai Engelhardt is the author of Data Refinement. Browse more books by Willem-Paul de Roever | Kai Engelhardt on BookBajar.
Is Data Refinement available in Paperback and Hardcover?
Yes, Data Refinement is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Data Refinement?
Yes, BookBajar offers free delivery for Data Refinement across India. No minimum order value required.
Is Cash on Delivery available for Data Refinement?
Yes, Cash on Delivery (COD) is available for Data Refinement on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521103503
🛒 Customers Also Bought
Schweißverbindungen Im Kessel- Und Behälterbau (English, E. Höhn)
₹5,991
Telephon- Und Signal-Anlagen (English, Carl Beckmann)
₹4,534
Die Registersachen in Der Gerichtlichen PRAXIS (English, Arthur Brand | V. Marowski | Viktor Marowski)
₹4,060
Flugsicherung (English, O. Heer)
₹4,092
Das Kristallzeichnen Auf Grundlage Der Stereographischen Projektion (English, H. Tertsch)
₹5,449
Die Ortsfesten Kolbendampfmaschinen (English, Fr Freytag)
₹4,221Related Products
Software Engineering Education (English, Jorge L. Diaz-Herrera)
₹11,549
2. Workshop Sichtsysteme -- (English, Reinhard Möller)
₹3,508
Combinators and Functional Programming Languages (English, Guy Cousineau | Pierre-Louis Curien | Bernard Robinet)
₹3,243
Parallel Execution of Parlog (English, Andrew Cheese)
₹5,471
Software Engineering Education (English, James E. Tomayko)
₹5,528