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
H2H Marketing
$129.99
Is the Economic Cycle Still Alive?
$169.99
The Inhabited Ruins of Central Europe
$39.99
Pneumonie unter Immunsuppression
$99.99
Tunable Hydrogels
$299.00
Anna Seghers
$19.99
Unternehmenskommunikation auf dem Prfstand
$99.00
Mathematics of the Weather
$119.99
Handbook of Pragmatic Language Disorders
$329.99
National Geographic Kids Readers: Weather
$4.46
Marvel - Spider-Man: Miles Morales
$7.49
The Palgrave Concise Historical Atlas of World War II
$37.99
Harry Potter and the Cursed Child: The Journey: Behind the Scenes of the Award-Winning Stage Production (Hardcover)
$29.99
The Architecture of Space-Time in the Novels of Jane Austen
$69.99
International Handbook of Educational Policy
$429.00
Ergebnisse der Inneren Medizin und Kinderheilkunde
$44.99
Treatment with Gallopamil
$109.99
If You're Spooky and You Know It
$5.21
The Structure of Being in Aristotles Metaphysics
$109.99
Parallel and Distributed Computing, Applications and Technologies
$169.99
Epidemiology
$109.99
Capabilities - Handlungsbefhigung und Verwirklichungschancen in der Erziehungswissenschaft
$29.99
Emmy Noether Mathematician Extraordinaire
$139.99
Vertigo: Its Multisensory Syndromes
$74.99
Light Scattering in Semiconductor Structures and Superlattices
$219.99
The Innovation for Development Report 2009-2010
$39.99
Patterns of Symmetry Breaking
$329.99
Microenvironmental Aspects of Immunity
$109.99
Corporate-Identity-orientierte Unternehmenspolitik
$59.99
Regulating eTechnologies in the European Union
$109.99
Formal Techniques for Safety-Critical Systems
$54.99
Stem Cells
$99.00
Operative Techniques in Laryngology
$279.99
Quantitative Methoden der Organisationsforschung
$44.99
Das Materielle Ausgleichsrecht des Versailler Friedensvertrages
$44.99
Wirtschaftlichkeitsanalysen fr Ballungsraumfernsehen
$49.99
The Crucial Role of Domain Knowledge in Evaluating Early-Stage New Product Ideas
$54.99
Foundations of the Theory of Klein Surfaces
$29.99
Logic-Based Program Synthesis and Transformation
$59.99
Technisches Denken und Schaffen
$84.99
