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
Health, Safety and Well-Being of Workers in the Informal Sector in India
$109.99
CSR und Organisationsentwicklung
$34.99
Scientific Computing in Electrical Engineering
$169.99
Dear America: With The Might Of Angels
$5.24
Environmental Politics in Southern Europe
$169.99
Mathematische Grundlagen der Quantenmechanik
$59.99
Komplexitt und Dynamik der Implementierung von Wettbewerbsstrategien
$49.99
Gemeinwohl und ffentliches Amt
$49.99
Effektiv Programmieren in C
$69.99
Intelligenz, Lernen und Lernstrungen
$49.99
Universal Access in HumanComputer Interaction. Human and Technological Environments
$54.99
Map Skills Grade 1 Differentiation Pack
$5.99
Die Wirkung von Vertrauen auf die Ex-Post-Transaktionskosten in Kooperation und Hierarchie
$69.99
Electrical Stimulation of the Heart in the Study and Treatment of Tachycardias
$99.00
Digital Technologies in Teaching and Learning Strategies
$199.99
Praxishandbuch Sanierung im Mittelstand
$129.00
Particle Interactions at Very High Energies
$39.99
Labour Under Corbyn
$69.99
AIDS in the Twenty-First Century
$89.00
The Stuttering Son in Literature and Psychology
$129.99
Logics for Databases and Information Systems
$169.00
The EUs Transformative Power
$39.99
Indian Agriculture Towards 2030
$49.99
Film-Herstellungsleitung
$37.99
Participatory Research and Planning in Practice
$129.99
Mobile Speech and Advanced Natural Language Solutions
$109.99
Quantitative Unternehmensfhrung
$99.00
The Mars Plasma Environment
$169.99
Managing Conflicts in a Globalizing ASEAN
$159.99
George Eliot: Romantic Humanist
$169.99
Heterocycles as Chiral Auxiliaries in Asymmetric Synthesis
$169.00
Mathematical and Statistical Approaches to AIDS Epidemiology
$54.99
Molecular Mechanisms of Inflammation: Induction, Resolution and Escape by Helicobacter pylori
$199.99
Japan in Analysis
$109.99
Technology in Education. Transforming Educational Practices with Technology
$54.99
Isotope Shifts in Atomic Spectra
$109.99
Water and Ions in Biomolecular Systems
$54.99
Parts Management Models and Applications
$84.99
Hope and Wish Image in Music Technology
$99.99
Genome-Wide Prediction and Analysis of Protein-Protein Functional Linkages in Bacteria
$49.95
