Springer
Formal Systems Specification (English, Manfred Broy | Stephan Merz | Katharina Spies)
₹5,659
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783540619840 |
| ISBN-10 | 3540619844 |
Product Description
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
Frequently Asked Questions
What is the price of Formal Systems Specification?
Formal Systems Specification is available at ₹5,659 on BookShops.in.
Does BookShops.in offer free delivery for Formal Systems Specification?
FREE delivery on all orders for Formal Systems Specification.
Is Cash on Delivery available for Formal Systems Specification?
Yes, Cash on Delivery (COD) is available for Formal Systems Specification on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Systems Specification?
BookShops.in offers a 15-day hassle-free return policy for Formal Systems Specification. Contact us at support@bookshops.in or call +91 81899 68108.
Is Formal Systems Specification authentic?
Formal Systems Specification is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
