
Springer
Integrated Formal Methods (English, John Derrick | Stefania Gnesi | Diego Latella)
₹5,630
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 Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.
ISBN: 9783642307287
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783642307287 |
| ISBN-10 | 3642307280 |
| Author | John Derrick | Stefania Gnesi | Diego Latella |





