Springer
Formal Methods (English, Jim Davies | Leila Silva | Adenilso Simao)
₹5,534
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 | 9783642198281 |
| ISBN-10 | 3642198287 |
Product Description
About the Book
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in…
ISBN: 9783642198281
Frequently Asked Questions
What is the price of Formal Methods?
Formal Methods is available at ₹5,534 on BookShops.in.
Does BookShops.in offer free delivery for Formal Methods?
FREE delivery on all orders for Formal Methods.
Is Cash on Delivery available for Formal Methods?
Yes, Cash on Delivery (COD) is available for Formal Methods on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Methods?
BookShops.in offers a 15-day hassle-free return policy for Formal Methods. Contact us at support@bookshops.in or call +91 81899 68108.
Is Formal Methods authentic?
Formal Methods is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
