Formal Methods in Computer-Aided Design (English, Mandayam Srivas | Albert Camilleri)
by Mandayam Srivas | Albert Camilleri
Delivery options
₹5,617
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,617
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540619376
ISBN-10
3540619372
Author
Mandayam Srivas | Albert Camilleri
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
ISBN-13: 9783540619376
ISBN-10: 3540619372
Frequently Asked Questions
What is the price of Formal Methods in Computer-Aided Design?
Formal Methods in Computer-Aided Design starts from ₹5617 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Formal Methods in Computer-Aided Design?
Mandayam Srivas | Albert Camilleri is the author of Formal Methods in Computer-Aided Design. Browse more books by Mandayam Srivas | Albert Camilleri on BookBajar.
Is Formal Methods in Computer-Aided Design available in Paperback and Hardcover?
Yes, Formal Methods in Computer-Aided Design is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Methods in Computer-Aided Design?
Yes, BookBajar offers free delivery for Formal Methods in Computer-Aided Design across India. No minimum order value required.
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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540619376
🛒 Customers Also Bought
Der Grundbau (English, Armin Schoklitsch)
₹6,365
Die Begrenzung Des Geschiedenenunterhaltes Nach Dauer Und Umfang (English, Gerold R. Gramse)
₹4,189
Angewandte Statistik (English, Kurt Stange)
₹3,975
Berechnung Der Ausmauerung Stählerner Gefäße (English, Werner Matz)
₹4,216
Allgemeiner Teil Des Bürgerlichen Rechts (English, Werner Flume)
₹5,513
Ethohydraulik (English, Beate Adam | Boris Lehmann)
₹7,291Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883