Programming
Tools and Algorithms for the Construction and Analysis of Systems (English, Cormac Flanagan | Barbara König)
₹5,678
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 proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully r…
ISBN: 9783642287558
Book Specifications
| ISBN-13 | 9783642287558 |
| ISBN-10 | 3642287557 |
| 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,678 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
Fundamental Problems of Algorithmic Algebra | by Chee Yap | Oxford University Press Inc | English | 1st Edition
₹4,828
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Foundations of Parallel Programming: 6 | by D. B. Skillicorn | David Skillicorn | W. F. McColl | Cambridge University Press | English
₹4,647
Programming
A Practical Handbook for Software Development | by N. D. Birrell | Martyn A. Ould | M. A. Ould | Cambridge University Press | English | Reprint Edition
₹4,623
Programming
Data Structures and Algorithms in C++ | by Michael T. Goodrich | Wiley | English | 2nd Edition
₹4,793
Programming
Object-Oriented and Classical Software Engineering | by Stephen R. Schach | McGraw-Hill Science Engineering | English | 8th Edition
₹5,376
Related Products
View AllProgramming
Fundamental Problems of Algorithmic Algebra | by Chee Yap | Oxford University Press Inc | English | 1st Edition
₹4,828
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Foundations of Parallel Programming: 6 | by D. B. Skillicorn | David Skillicorn | W. F. McColl | Cambridge University Press | English
₹4,647
Programming
A Practical Handbook for Software Development | by N. D. Birrell | Martyn A. Ould | M. A. Ould | Cambridge University Press | English | Reprint Edition
₹4,623
Programming
Data Structures and Algorithms in C++ | by Michael T. Goodrich | Wiley | English | 2nd Edition
₹4,793
Programming
Object-Oriented and Classical Software Engineering | by Stephen R. Schach | McGraw-Hill Science Engineering | English | 8th Edition
₹5,376