
Software Engineering and Formal Methods (English, Gilles Barthe | Alberto Pardo | Gerardo Schneider)
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 | 9783642246890 |
| ISBN-10 | 3642246893 |
| Author | Gilles Barthe | Alberto Pardo | Gerardo Schneider |
Product Description
Here on GlowMirror, you'll find Software Engineering and Formal Methods 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 Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted…
ISBN: 9783642246890
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Software Engineering and Formal Methods
- ·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)









