
Integrated Formal Methods (English, Michael Butler | Luigia Petre | Kaisa Sere)
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 | 9783540437031 |
| ISBN-10 | 3540437037 |
| Author | Michael Butler | Luigia Petre | Kaisa Sere |
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
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to…
ISBN: 9783540437031
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 at the undergraduate and postgraduate level, as well as educators.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy





