-64% OFFTools and Algorithms for the Construction and Analysis of Systems (English, Hubert Garavel | John Hatcliff)
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 | 9783540008989 |
| ISBN-10 | 3540008985 |
| Author | Hubert Garavel | John Hatcliff |
Product Description
Here on GlowMirror, you'll find Tools and Algorithms for the Construction and Analysis of Systems filed under Programming -- everything you need to know is covered below.
About the Book
ETAPS 2003 was the sixth instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was establishedin1998bycombininganumberofexistingandnewconferences.This yearitcomprised?veconferences(FOSSACS, FASE, ESOP, CC, TACAS),14- tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS and WOOD), eight invited lectures (not including those that…
ISBN: 9783540008989
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Tools and Algorithms for the Construction and Analysis of Systems
- ·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)









