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
Artificial Intelligence and Heuristics for Enhanced Food Security
$169.99
Der Anti-Stress-Trainer fr Polizisten
$19.99
Complex Systems
$109.99
Essays nach Auschwitz
$39.99
The Private Rental Sector in Australia
$79.99
Wild and Exotic Animal Ophthalmology
$129.99
IIW Recommendations for the HFMI Treatment
$79.99
Legal Aspects of Anaesthesia
$39.99
Marktspiegel Supply Chain Management Systeme
$44.99
Host Communities and Pilgrimage Tourism
$169.99
Designerly Ways of Knowing
$149.00
Einsteins trojanisches Pferd
$99.99
Earthquake Precursors
$219.99
India in South Asia
$129.99
Ecological Diversity and Its Measurement
$129.99
Architectural, Construction, Environmental and Digital Technologies for Future Cities
$219.99
Microsoft Dynamics CRM API Development for Online and On-Premise Environments
$54.99
Der Beitrag des Russischen Formalismus zur Versbeschreibung
$54.99
Comparative Genomics
$119.99
Physics Experiments Using PCs
$109.99
Kindheits- und Jugendforschung in der Kritik
$49.99
Biological Warfare Against Crops
$54.99
International Perspectives on Intimate Partner Violence
$69.99
Quantitative Psychology
$249.99
Biotherapeutic Agents and Infectious Diseases
$109.99
Ergebnisse der Chirurgie und Orthopdie
$69.99
MHD Flows in Compact Astrophysical Objects
$84.99
DUNE The Distributed and Unified Numerics Environment
$109.99
Karst Environments
$179.99
Tauberian Theorems for Generalized Functions
$109.99
Messtechnik und Prfstnde fr Verbrennungsmotoren
$29.99
Smart and Sustainable Supply Chain and Logistics Challenges, Methods and Best Practices
$169.99
Materials Sciences and Implant Orthopedic Surgery
$219.99
Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2022
$59.99
Violent Masculinities
$109.99
Complex MongeAmpre Equations and Geodesics in the Space of Khler Metrics
$39.99
Climate Change and Starvation
$44.99
Education and Division of Labour
$54.99
The International Bureau of Education (1925-1968)
$59.99
Metzler Literatur Chronik
$29.99
