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
Tools and Algorithms for the Construction and Analysis of Systems
Best Price:
Buy Tools and Algorithms for the Construction and Analysis of Systems 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 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.
Reviews
Questions & Answers
Handbook of Insurance
$599.99
Verbmobil: Foundations of Speech-to-Speech Translation
$169.99
Cybersecurity in Poland
$49.99
Transactions on Computational Science XXI
$54.99
Recent Advances in Decision Making
$109.99
China Satellite Navigation Conference (CSNC) 2017 Proceedings: Volume I
$329.99
Bulk Solids Handling
$329.99
Affective Capitalism
$109.99
Engineer Your Software!
$59.99
Tantalum and Niobium-Based Capacitors
$79.99
Interne Erhebungen in Wirtschaftsstrafsachen mit Auslandsbezug
$59.99
Learn iPhone and iPad cocos2d Game Development
$39.99
Tafel zur Umrechnung der Raumprozente in Gewichtsprozente und der Gewichtsprozente in Raumprozente b
$54.99
Critical Peace Education
$169.99
The Monetary Turning Point
$169.99
Linear Fresnel Reflector Systems for Solar Radiation Concentration
$109.99
Modern Solvers for Helmholtz Problems
$89.00
Information and Communication Technologies for AgricultureTheme I: Sensors
$129.99
Arrestins - Pharmacology and Therapeutic Potential
$259.00
Drought Management Planning in Water Supply Systems
$169.99
Cancer Survivorship
$79.99
Ubiquitous Mapping
$169.99
ZEMCH: Toward the Delivery of Zero Energy Mass Custom Homes
$109.99
Europa im Aufbau
$59.99
Ernst Mach A Deeper Look
$219.99
Reliability, Yield, and Stress Burn-In
$169.99
Holonic and Multi-Agent Systems for Manufacturing
$54.99
Parteienfrderung im Transitionsprozess
$64.99
Windows 10 Primer
$19.99
Contemporary Black British Playwrights
$79.99
Klimawirksame Kennzahlen fr Amerika
$17.99
Consciousness
$79.99
Hybrid Finite Element Method for Stress Analysis of Laminated Composites
$169.99
Rechnen fr Bankkaufleute
$59.99
Medikamenten-Pocket Pdiatrie - Notfall- und Intensivmedizin
$9.95
Polymer Engineering Science and Viscoelasticity
$129.99
Unifying Theories of Programming
$54.99
Advances in Mathematical Economics Volume 10
$109.99
Die Klinik der Tuberkulose Erwachsener
$44.99
Leading in a VUCA World
$59.99
