
Integrated Formal Methods (English, Dominique Méry | Stephan Merz)
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783642162640 |
| ISBN-10 | 3642162649 |
| Author | Dominique Méry | Stephan Merz |
Product Description
Here on GlowMirror, you'll find Integrated Formal Methods filed under Springer -- everything you need to know is covered below.
About the Book
ThisvolumecontainstheproceedingsofIFM2010, the8thInternationalConf- ence on Integrated Formal Methods. The conference took place October 12-14, 2010, atthe INRIA researchcenterandthe LORIAlaboratoryinNancy, France. Previous editions were held in York, Dagstuhl, Turku, Canterbury, Eindhoven, Oxford, and Dusseldorf ] . The IFM conference series seeks to promote research into the combination of di?erent formal methods, including the combination of f…
ISBN: 9783642162640
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Integrated Formal Methods
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Springer
Who Should Read This
Students and professionals interested in Springer, as well as general readers looking to expand their knowledge.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





