Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Methods in Computer-Aided Design
Best Price:
Buy Formal Methods in Computer-Aided Design for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
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, including verification, synthesis, and testing.
Reviews
Questions & Answers
Einfhrung in die italienische Literaturwissenschaft
$19.99
Theatre's Heterotopias
$54.99
Handbuch Klebtechnik 2018
$27.99
Innovation in Luxury Fashion Family Business
$54.99
Sign Language Machine Translation
$159.99
Phosphorus
$54.99
Micromechanics and Microactuators
$169.99
Innovative Mobile and Internet Services in Ubiquitous Computing
$219.99
Die Bedeutung von Umwelt und Nachhaltigkeit fr die Gesundheit
$17.99
Landschaftsmodellierung fr die Umweltplanung
$129.99
Peter Weiss und die Deutschen
$64.99
An Introduction to Fuzzy Control
$109.99
Chromosomen, Gene, Mutationen
$24.99
Researching Cognitive Processes of Translation
$119.99
Osteocardiology
$39.99
The Revolting Child in Horror Cinema
$84.99
Viral Vector Approaches in Neurobiology and Brain Diseases
$109.99
Proceedings of the Seventh ASTM-Euratom Symposium on Reactor Dosimetry
$169.99
Zinc in Human Biology
$54.99
Die Eisen- und Stahlindustrie in Japan
$59.99
Fortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ
$39.99
Feedback Control Theory for Engineers
$74.99
Vertriebskennzahlen
$17.99
Computational Cognition
$179.99
Dermatologische Propdeutik
$59.99
Moving to Responsive Web Design
$24.99
Clifford the Big Red Dog: Clifford's ABC
$2.99
Ethics and Diversity in Business Management Education
$54.99
Scholastic Success With Math Tests: Grade 3 Workbook
$5.24
Parallel Computing 1988
$39.99
MAO - The Mother of all Amine Oxidases
$54.99
Flow and the Foundations of Positive Psychology
$79.99
Interaction of Radiation with Solids
$109.99
Human Development and the Spiritual Life
$119.00
Work, Family Policies and Transitions to Adulthood in Europe
$54.99
Elektrische Energieversorgung 3
$99.00
Mussolini 1883-1915
$159.99
Proceedings of the Fourth International Forum on Decision Sciences
$219.99
Equibalancedistribution (Eqbl) in the analysis of earthquake data
$39.99
Festkrperphysik
$64.99
