Computers & Internet
Tools and Algorithms for the Construction and Analysis of Systems (English, Ed Brinksma | W. Rance Cleaveland | Kim G. Larsen)
₹5,527
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
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
Book Details
| ISBN-13 | 9783540606307 |
| ISBN-10 | 3540606300 |
Product Description
About the Book
This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The pape…
ISBN: 9783540606307
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,527 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 81899 68108.
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.
Related Products
View All
-62%Computers & Internet
Shaping Membership, Defining Nation (English, Pashington Obeng)
₹5,346₹14,214
Computers & Internet
Restorative Justice (English, Marian Liebmann)
₹5,512
Computers & Internet
Domestic Life in Prehispanic Capitals (English, Linda R. Manzanilla | Claude Chapdelaine)
₹2,029
Computers & Internet
Diccionario de estudios culturales latinoamericanos (English, Mónica Szurmuk | Robert McKee Irwin)
₹3,579
Computers & Internet
Developing and Validating Rapid Assessment Instruments (English, Neil Abell)
₹4,234
-26%Computers & Internet
A "Splendid Idiosyncrasy" (English, Pamela Jane Smith)
₹5,424₹7,285