Formal Systems Specification (English, Manfred Broy | Stephan Merz | Katharina Spies)
by Manfred Broy | Stephan Merz | Katharina Spies
Delivery options
₹5,659
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,659
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540619840
ISBN-10
3540619844
Author
Manfred Broy | Stephan Merz | Katharina Spies
About the Book
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September…
ISBN: 9783540619840
ISBN-13: 9783540619840
ISBN-10: 3540619844
Frequently Asked Questions
What is the price of Formal Systems Specification?
Formal Systems Specification starts from ₹5659 at GlowMirror. Available in Paperback.
Who is the author of Formal Systems Specification?
Manfred Broy | Stephan Merz | Katharina Spies is the author of Formal Systems Specification. Browse more books by Manfred Broy | Stephan Merz | Katharina Spies on GlowMirror.
Is Formal Systems Specification available in Paperback and Hardcover?
Yes, Formal Systems Specification is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Formal Systems Specification?
Yes, GlowMirror offers free delivery for Formal Systems Specification across India. No minimum order value required.
Is Cash on Delivery available for Formal Systems Specification?
Yes, Cash on Delivery (COD) is available for Formal Systems Specification on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540619840
🛒 Customers Also Bought
Kompetenzen Für Supply Chain Manager (English, Thomas Rudolph | Randy Drenth | Niklas Meise)
₹3,508
Fallrepetitorium Familien- Und Erbrecht (English, Anne Röthel)
₹1,791
Un Universo Comprensibile (English, George V. Coyne | Michael Heller)
₹3,009
Financial Mathematics (English, Bruno Biais | Wolfgang J. Runggaldier | Thomas Björk)
₹5,045
Annegamento Soccorso Tecnico E Sanitario (English, Elvia Battaglia | Alessio Baghin)
₹5,579
Valproinsäure (English, Günter Krämer | J. Walden)
₹3,873Related Products
Extemporaneous Ophthalmic Preparations (English, Eman Alghamdi | Abdulmalik Yahya Al Qahtani | Mazen M. Sinjab)
₹5,737
Robotik (English, Hans-Jürgen Siegert | Siegfried Bocionek)
₹2,779
Betriebswirtschaftliche Praxisführung Für Ärzte (English, K. Ahlers | Helmut Börkircher | H. Cox)
₹4,237
Kurze Geschichte Der Chirurgie (English, Walter V. Brunn)
₹2,269
Psychiatrie Und Psychotherapie (English, H. Berger | Horst Dilling | Christian Reimer)
₹5,030