
Formal Methods and Software Engineering (English, Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie)
by Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie
Publisher: Springer
Language: English
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 | 9783540766483 |
| ISBN-10 | 3540766480 |
| Author | Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie |
Product Description
Here on GlowMirror, you'll find Formal Methods and Software Engineering filed under Programming -- everything you need to know is covered below.
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 Insights
What You'll Learn
- ·In-depth exploration of topics covered in Formal Methods and Software Engineering
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Programming
Who Should Read This
Developers, data scientists, and students learning to code.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy

![Practical Hacking Techniques and Countermeasures [With CDROM] (English, Mark D. Spivey)](/_next/image?url=https%3A%2F%2Fglowmirror.in%2Fimages%2Fproducts%2F9780849370571.webp&w=3840&q=75)









