Formal Methods in Computer-Aided Design (English, Alan J. Hu | Andrew K. Martin)
by Alan J. Hu | Andrew K. Martin
Delivery options
Formal Methods in Computer-Aided Design by Alan J. Hu | Andrew K. Martin is listed under Computers & Internet on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540237389
ISBN-10
3540237380
Author
Alan J. Hu | Andrew K. Martin
About the Book
These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference provides a forum for presenting state-of-the-art tools, methods, algorithms, and theory for the application of formalized r- soning to all aspects of computer-aided system design, including speci?cation, veri?cation, synthesis, and testing. FMCAD's heritagedates back20 year…
ISBN: 9783540237389
ISBN-13: 9783540237389
ISBN-10: 3540237380
Reader's Guide
What This Book Covers
- ·The main subject matter of Formal Methods in Computer-Aided Design
- ·Ideas and detail relevant to Computers & Internet
- ·Context that helps make sense of the material as a whole
Best Suited For
Developers, IT professionals, and CS students.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Formal Methods in Computer-Aided Design?
Formal Methods in Computer-Aided Design starts from ₹5605 at BookBajar. Available in Paperback.
Who is the author of Formal Methods in Computer-Aided Design?
Alan J. Hu | Andrew K. Martin is the author of Formal Methods in Computer-Aided Design. Browse more books by Alan J. Hu | Andrew K. Martin 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.
What is BookBajar's return policy on Formal Methods in Computer-Aided Design?
Formal Methods in Computer-Aided Design can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Formal Methods in Computer-Aided Design?
Formal Methods in Computer-Aided Design has ISBN 9783540237389 (ISBN-10: 3540237380). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Formal Methods in Computer-Aided Design?
About the Book These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA.
Product ID: isbn-9783540237389
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637