Springer
Formal Methods in Computer-Aided Design (English, Mandayam Srivas | Albert Camilleri)
₹5,617
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 | 9783540619376 |
| ISBN-10 | 3540619372 |
Product Description
About the Book
This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996. The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, includ…
ISBN: 9783540619376
Frequently Asked Questions
What is the price of Formal Methods in Computer-Aided Design?
Formal Methods in Computer-Aided Design is available at ₹5,617 on BookShops.in.
Does BookShops.in offer free delivery for Formal Methods in Computer-Aided Design?
FREE delivery on all orders for Formal Methods in Computer-Aided Design.
Is Cash on Delivery available for Formal Methods in Computer-Aided Design?
Yes, Cash on Delivery (COD) is available for Formal Methods in Computer-Aided Design on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Methods in Computer-Aided Design?
BookShops.in offers a 15-day hassle-free return policy for Formal Methods in Computer-Aided Design. Contact us at support@bookshops.in or call +91 81899 68108.
Is Formal Methods in Computer-Aided Design authentic?
Formal Methods in Computer-Aided Design is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
