Programming
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
Genuine BookPhysical copy only
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
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
Book Specifications
| ISBN-13 | 9783540766483 |
| ISBN-10 | 3540766480 |
| Publisher | Springer |
| Category | Programming |
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 95575 56855.
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.
Customers Also Bought
Programming
Foundations of Parallel Programming: 6 | by D. B. Skillicorn | David Skillicorn | W. F. McColl | Cambridge University Press | English
₹4,647
Programming
A Practical Handbook for Software Development | by N. D. Birrell | Martyn A. Ould | M. A. Ould | Cambridge University Press | English | Reprint Edition
₹4,623
Programming
Starting Out With Java: From Control Structures Through Data Structures | by Tony Gaddis | Godfrey Muganda | Pearson College Div | English | 4th Edition
₹5,468
Programming
Statistics Using Python | by Oswald Campesato | Mercury Learning & Information | English
₹3,807
Programming
C++ Primer | by Stanley B. Lippman | Addison-Wesley | English | 5th Edition
₹4,196
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Related Products
View AllProgramming
Foundations of Parallel Programming: 6 | by D. B. Skillicorn | David Skillicorn | W. F. McColl | Cambridge University Press | English
₹4,647
Programming
A Practical Handbook for Software Development | by N. D. Birrell | Martyn A. Ould | M. A. Ould | Cambridge University Press | English | Reprint Edition
₹4,623
Programming
Starting Out With Java: From Control Structures Through Data Structures | by Tony Gaddis | Godfrey Muganda | Pearson College Div | English | 4th Edition
₹5,468
Programming
Statistics Using Python | by Oswald Campesato | Mercury Learning & Information | English
₹3,807
Programming
C++ Primer | by Stanley B. Lippman | Addison-Wesley | English | 5th Edition
₹4,196
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294