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 (Coupon Required):
Buy Formal Methods in Computer-Aided Design for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | 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
Informatics in Schools: Improvement of Informatics Knowledge and Perception
$54.99
Understanding the Dynamics of Global Inequality
$54.99
Finanzmathematik kompakt
$29.99
Wissenbasierte Unternehmensstrategieentwicklung
$69.99
Fundamentals of Convex Analysis
$69.99
IUTAM Symposium on Diffraction and Scattering in Fluid Mechanics and Elasticity
$169.99
Heideggers Contribution to the Understanding of Work-Based Studies
$109.99
Living without God: A Multicultural Spectrum of Atheism
$119.99
Militrische versus polizeiliche Gewalt
$17.99
UK Feminist Cartoons and Comics
$99.99
Recent Contributions to Bioinformatics and Biomedical Sciences and Engineering
$149.00
Differentialdiagnose Schwindel
$69.99
Baby Faces: Eat!
$3.74
The Global Histories of Books
$109.00
Homo democraticus
$64.99
Blutkrperchensenkung
$59.99
Scholar Zone Extended Learning ELA Grade 4
$580.00
Computational Approaches to Analogical Reasoning: Current Trends
$109.99
Mens Health and Wellbeing
$69.99
Current Proteomic Approaches Applied to Brain Function
$109.99
MicroRNA Protocols
$169.99
Biologische Wirkung von Licht im Kraftfahrzeug
$89.99
Radioprotection
$39.99
Cell Movement and Cell Behaviour
$109.99
Frontiers in Particle Physics
$219.99
Hochschuldidaktik der Zukunftsforschung
$69.99
Diversity of Family Farming Around the World
$199.99
Becoming a Good Neighbor among Dictators
$69.99
Privatheit, Garten und politische Kultur
$64.99
Duplexsonographie von Dialyseshunts
$79.99
The NeuroMuscular System: From Earth to Space Life Science
$39.99
The Ecology of Aggression
$84.99
Nazi Secret Warfare in Occupied Persia (Iran)
$129.99
Echinacea
$109.99
Rechtsflle aus dem Vlkerrecht
$59.99
Finance in Crises
$159.99
Nanotoxicology
$129.00
Information and Management
$69.99
Konstruieren mit Konstruktionskatalogen
$69.99
Dictionary of Commercial, Financial and Legal Terms / Dictionnaire des Termes Commerciaux, Financier
$84.99
