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 (Coupon Required):
Buy Tools and Algorithms for the Construction and Analysis of Systems 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 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
Experimentelle Untersuchungen an der berstrmenden Flssigkeitsschicht in Vollmantelschleudern ohne
$59.99
Referate
$69.99
Representations of Compact Lie Groups
$89.95
New Challenges for Migration Policy in Central and Eastern Europe
$54.99
Blushing and the Social Emotions
$54.99
The New Shelley
$169.99
Short Stay Management of Chest Pain
$169.00
Atlas of Human Hemopoietic Development
$84.99
The Language of Managerialism
$129.00
Somatic and Autonomic Regulation in Sleep
$54.99
Untersuchungen zum Wirkungsmechanismus der Endonuclease S1 aus Aspergillus oryzae
$54.99
Freedom of Speech and Information in Global Perspective
$119.99
Hagers Handbuch der pharmazeutischen Praxis
$99.99
(Wahl-)Verwandtschaft - Zur Erklrung verwandtschaftlichen Handelns
$99.00
XXXVII. Internationales -Symposium 2018 Bremsen-Fachtagung
$119.99
Maternal and Child Health
$99.00
Trafficking Cocaine
$109.99
Cytoskeleton of the Nervous System
$259.00
Der Einflu der Natriumchlorit-Bleiche auf Qualitt und Verwebbarkeit von Leinengarnen und die Eigen
$59.99
Chinese Business
$109.99
Engineering Software III
$169.99
Mobile Data Management
$39.99
Neuroradiologie
$69.99
The Impact of EU Accession on the Legal Orders of New EU Member States and (Pre-) Candidate Countrie
$109.99
Gene Expression in Muscle
$84.99
The Reliability, Availability and Productiveness of Systems
$39.99
Developing International Strategies
$84.99
Biological Mineralization and Demineralization
$109.99
Soft Computing in Data Science
$39.99
Supply Chain Management erfolgreich umsetzen
$49.99
Towards Mesoscience
$54.99
Menschen Machen Wirtschaft
$29.99
Neue Arzneimittel und Pharmazeutische Spezialitten einschlielich der neuen Drogen, Organ- und Seru
$44.99
Driving Complexity in Economic Development
$159.99
The Physics of Glassy Polymers
$219.99
Japan and The European Union
$109.99
Hola, Hombre Mosca (Hi! Fly Guy) (Fly Guy #1)
$4.49
Philosophie der Existenz
$49.99
Foundations of 3D Graphics Programming
$69.99
Bioinformatics and Biomedical Engineering
$54.99
