Stepwise Refinement of Distributed Systems (English, Jaco W. De Bakker | Willem-Paul de Roever | Grzegorz Rozenberg)
by Jaco W. De Bakker | Willem-Paul de Roever | Grzegorz Rozenberg
Delivery options
₹11,651
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: ₹11,651
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540525592
ISBN-10
3540525599
Author
Jaco W. De Bakker | Willem-Paul de Roever | Grzegorz Rozenberg
About the Book
This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world's leading specialists in these areas present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.
ISBN: 9783540525592
ISBN-13: 9783540525592
ISBN-10: 3540525599
Frequently Asked Questions
What is the price of Stepwise Refinement of Distributed Systems?
Stepwise Refinement of Distributed Systems starts from ₹11651 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Stepwise Refinement of Distributed Systems?
Jaco W. De Bakker | Willem-Paul de Roever | Grzegorz Rozenberg is the author of Stepwise Refinement of Distributed Systems. Browse more books by Jaco W. De Bakker | Willem-Paul de Roever | Grzegorz Rozenberg on BookBajar.
Is Stepwise Refinement of Distributed Systems available in Paperback and Hardcover?
Yes, Stepwise Refinement of Distributed Systems is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Stepwise Refinement of Distributed Systems?
Yes, BookBajar offers free delivery for Stepwise Refinement of Distributed Systems across India. No minimum order value required.
Is Cash on Delivery available for Stepwise Refinement of Distributed Systems?
Yes, Cash on Delivery (COD) is available for Stepwise Refinement of Distributed Systems on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540525592
🛒 Customers Also Bought
Practice Makes Perfect: English Verbs, Third Edition (English, Paperback, Loretta Gray)
₹1,769
Erläuterungen Zu Den Vorschriften Für Die Konstruktion Und Prüfung Von Installationsmaterial, Den Vo (English, Georg Dettmar)
₹5,712
Radartechnik (English, Jürgen Detlefsen)
₹3,658
Maßnahmen Zum Verbessern Der Pneumatischen Lackzerstäubung -- Teilchengrößenbestimmung Im Spritzstra (English, K. W. Thomer)
₹5,286
Arbeitsbuch Im Bürgerlichen Recht Für Anfänger (English, Peter Salje)
₹1,455
Selektivschutz (English, H. Neugebauer)
₹4,174Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883