Formal Methods in Computer-Aided Design (English, Mandayam Srivas | Albert Camilleri)
by Mandayam Srivas | Albert Camilleri
Delivery options
Formal Methods in Computer-Aided Design by Mandayam Srivas | Albert Camilleri is listed under Computers & Internet on BookBajar. Full details, specifications and reader reviews are below.
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
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 ₹5617 at BookBajar. Available in Paperback.
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.
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 9783540619376 (ISBN-10: 3540619372). 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 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.
Product ID: isbn-9783540619376
🛒 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