Home ›Springer ›Formal Methods and Software Engineering (English, Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie)
Springer
Formal Methods and Software Engineering (English, Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie)
₹5,586
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
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
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540766483 |
| ISBN-10 | 3540766480 |
| Author | Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie |
