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
Masonry Structures: Between Mechanics and Architecture
$39.99
Constructive Combinatorics
$69.99
Epistemology of Decision
$49.95
Bridging Peace and Sustainability Amidst Global Transformations
$109.00
Thermal Energy Storage Using Phase Change Materials
$69.99
Karl Popper
$84.99
The Dungeonmeister Cookbook: 75 Rpg-Inspired Recipes to Level Up Your Game Night by Jef Aldrich
$19.99
Global Bifurcations and Chaos
$54.99
Romantic Love in Cultural Contexts
$79.99
Breeding For Ornamentals: Classical and Molecular Approaches
$219.99
Introduction to the Representation Theory of Algebras
$34.99
Geographies of Schooling
$59.99
Biographieorientierte Aktivierung mit SimA-P
$59.99
The Elements of Creativity and Giftedness in Mathematics
$49.99
Die Psychologie und Neurowissenschaft der Klimakrise
$17.99
Die Professionalisierung des deutschen EU-Journalismus
$49.99
Atomic Information Technology
$84.99
Sunspots and Non-Linear Dynamics
$84.99
Person Re-Identification with Limited Supervision
$29.99
Principles and Practice of Semantic Web Reasoning
$54.99
Computer Vision ACCV 2018
$39.99
Smart Data and Computational Intelligence
$109.99
Biobanking in the 21st Century
$109.99
Die Lean-Methode im Krankenhaus
$29.99
Inside the Multinationals 25th Anniversary Edition
$54.99
Theory of Light Scattering in Condensed Matter
$39.99
The Lifetime of a Durable Good
$129.00
Fixing and Flipping Real Estate
$29.99
Narrative Development of School Children
$39.99
Algorithmen und Problemlsungen mit C++
$39.99
Genetics and Breeding of Ornamental Species
$54.99
British Sociology's Lost Biological Roots
$54.99
Multi-hop Routing in Wireless Sensor Networks
$54.99
Developing Alliance Capabilities
$109.99
Georessource Wasser - Herausforderung Globaler Wandel
$44.99
The Political Economy of Postwar Reconstruction
$39.99
Applying Generalized Linear Models
$99.99
The Role of Biotechnology in Countering BTW Agents
$54.99
Biologic Rhythms in Clinical and Laboratory Medicine
$84.99
New Frontiers in Artificial Intelligence
$64.99
