
Springer
Formal Methods and Software Engineering (English, Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie)
₹5,586
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 | 9783540766483 |
| ISBN-10 | 3540766480 |
Product Description
About the Book
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical s…
ISBN: 9783540766483
Frequently Asked Questions
What is the price of Formal Methods and Software Engineering?
Formal Methods and Software Engineering is available at ₹5,586 on BookShops.in.
Does BookShops.in offer free delivery for Formal Methods and Software Engineering?
FREE delivery on all orders for Formal Methods and Software Engineering.
Is Cash on Delivery available for Formal Methods and Software Engineering?
Yes, Cash on Delivery (COD) is available for Formal Methods and Software Engineering on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Methods and Software Engineering?
BookShops.in offers a 15-day hassle-free return policy for Formal Methods and Software Engineering. Contact us at support@bookshops.in or call +91 81899 68108.
Is Formal Methods and Software Engineering authentic?
Formal Methods and Software Engineering is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
