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
Scientific Computing with Mathematica
$109.99
Luck: Its Nature and Significance for Human Knowledge and Agency
$39.99
Internationale Rechnungslegung und Internationales Controlling
$54.99
Algorithms for Parallel Polygon Rendering
$39.99
The Foxtail Millet Genome
$169.99
Women and Spirituality in the Writing of More, Wollstonecraft, Stanton, and Eddy
$39.99
Global Citizenship Education
$49.99
Jugend und Politik
$37.99
Mycotoxins in Plant Disease
$84.99
Multinuclear Magnetic Resonance in Liquids and Solids Chemical Applications
$259.00
Pollutants in a Multimedia Environment
$39.99
Narrative and Self-Understanding
$109.99
Crushing the IT Gender Bias
$24.99
Synchronization and Triggering: from Fracture to Earthquake Processes
$169.99
Semigroups of Operators: Theory and Applications
$109.99
Democratization and Democracy in South Korea, 1960Present
$159.99
Bilanzsteuerrecht und Unternehmensbesteuerung
$39.99
Lung Cancer
$429.00
Bad to the Bone
$129.99
My New Team
$3.74
Marketing
$49.99
Leitfaden fr die Vorlesungen ber darstellende Geometrie
$59.99
Die Biomechanik des Kieferapparates beim Stierkopfhai
$59.99
Sommerfeldsche Polynommethode
$69.99
Intelligent Systems'2014
$219.99
Cahokian Dispersions
$119.99
Factories of the Future
$54.99
Advances in Molecular Genetics of Plant-Microbe Interactions
$169.00
Smart Secure Systems IoT and Analytics Perspective
$54.99
Advances in Natural, Human-Made, and Coupled Human-Natural Systems Research
$129.99
Advances in Swarm Intelligence
$89.99
Die Wollspinnerei
$59.99
Gender and Policy in France
$54.99
Mineralization in the British Isles
$219.99
Frontiers of Combining Systems
$39.99
Epigenome Editing
$169.00
Corporate Carbon and Climate Accounting
$84.99
Probability Theory and Mathematical Statistics with Applications
$109.99
Utopien, Realpolitik und Politische Bildung
$59.99
Single parenthood in the life course
$84.99
