Sciences, Technology & Medicine
Automatic Verification Methods for Finite State Systems (English, Joseph Sifakis)
₹5,573
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 | 9783540521488 |
| ISBN-10 | 3540521488 |
Product Description
About the Book
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications…
ISBN: 9783540521488
Frequently Asked Questions
What is the price of Automatic Verification Methods for Finite State Systems?
Automatic Verification Methods for Finite State Systems is available at ₹5,573 on BookShops.in.
Does BookShops.in offer free delivery for Automatic Verification Methods for Finite State Systems?
FREE delivery on all orders for Automatic Verification Methods for Finite State Systems.
Is Cash on Delivery available for Automatic Verification Methods for Finite State Systems?
Yes, Cash on Delivery (COD) is available for Automatic Verification Methods for Finite State Systems on BookShops.in. Pay when your order arrives.
What is the return policy for Automatic Verification Methods for Finite State Systems?
BookShops.in offers a 15-day hassle-free return policy for Automatic Verification Methods for Finite State Systems. Contact us at support@bookshops.in or call +91 81899 68108.
Is Automatic Verification Methods for Finite State Systems authentic?
Automatic Verification Methods for Finite State Systems is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Related Products
View All
-43%Sciences, Technology & Medicine
Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer)
₹5,311₹9,385
-78%Sciences, Technology & Medicine
Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine)
₹5,209₹23,985
Sciences, Technology & Medicine
Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew)
₹4,788
Sciences, Technology & Medicine
Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman)
₹4,327
-74%Sciences, Technology & Medicine
Financial Products (English, Bill Dalton)
₹5,108₹19,961
-62%Sciences, Technology & Medicine
Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert)
₹5,407₹14,329