Programming
Tools and Algorithms for the Construction and Analysis of Systems (English, Tiziana Margaria | Wang Yi)
₹5,395
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵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
Product Description
About the Book
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model che…
ISBN: 9783540418658
Book Specifications
| ISBN-13 | 9783540418658 |
| ISBN-10 | 3540418652 |
| Publisher | Springer |
| Category | Programming |
Frequently Asked Questions
What is the price of Tools and Algorithms for the Construction and Analysis of Systems?
Tools and Algorithms for the Construction and Analysis of Systems is available at ₹5,395 on BookShops.in.
Does BookShops.in offer free delivery for Tools and Algorithms for the Construction and Analysis of Systems?
FREE delivery on all orders for Tools and Algorithms for the Construction and Analysis of Systems.
Is Cash on Delivery available for Tools and Algorithms for the Construction and Analysis of Systems?
Yes, Cash on Delivery (COD) is available for Tools and Algorithms for the Construction and Analysis of Systems on BookShops.in. Pay when your order arrives.
What is the return policy for Tools and Algorithms for the Construction and Analysis of Systems?
BookShops.in offers a 15-day hassle-free return policy for Tools and Algorithms for the Construction and Analysis of Systems. Contact us at support@bookshops.in or call +91 95575 56855.
Is Tools and Algorithms for the Construction and Analysis of Systems authentic?
Tools and Algorithms for the Construction and Analysis of Systems is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
Programming Abstractions in C++ | by Eric Roberts | Pearson | English | 1st Edition
₹4,707
Programming
Building Python Programs | by Stuart Reges | Marty Stepp | Allison Obourn | Pearson | English | 1st Edition
₹4,654
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Data Structures and Algorithms in C++ | by Michael T. Goodrich | Wiley | English | 2nd Edition
₹4,793
Programming
Six Sigma Software Development | by Christine B. Tayntor | Auerbach Publications | English | 2nd Edition
₹4,706
Related Products
View AllProgramming
Six Sigma Software Development | by Christine B. Tayntor | Auerbach Publications | English | 2nd Edition
₹4,706
Programming
Programming Abstractions in C++ | by Eric Roberts | Pearson | English | 1st Edition
₹4,707
Programming
Building Python Programs | by Stuart Reges | Marty Stepp | Allison Obourn | Pearson | English | 1st Edition
₹4,654
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Data Structures and Algorithms in C++ | by Michael T. Goodrich | Wiley | English | 2nd Edition
₹4,793