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 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrcken, Germany, March 26April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.
Reviews
Questions & Answers
Eco-Phenomenology: Life, Human Life, Post-Human Life in the Harmony of the Cosmos
$149.00
Determinants of Earnings Forecast Error, Earnings Forecast Revision and Earnings Forecast Accuracy
$54.99
Owner of a Lonely Heart- A Memoir by Beth Nguyen
$27.00
Political, Economic and Legal Effects of Artificial Intelligence
$139.99
Die Syphilis
$49.99
Strategisches IT-Management
$69.99
Haftung fr Zufgung seelischer Schmerzen
$59.99
Little Robot
$9.71
Literary Representations of the Irish Country House
$54.99
Metadiscourse in Digital Communication
$69.99
Thomas Bernhard
$19.99
Biomedical Engineering: Frontier Research and Converging Technologies
$129.00
The Dynamical System Generated by the 3n+1 Function
$34.99
Addressing Environmental and Food Justice toward Dismantling the School-to-Prison Pipeline
$119.99
Markentransfers im Dienstleistungsbereich
$69.99
In Vitro Haploid Production in Higher Plants
$219.99
The Balkans in the Cold War
$119.99
Physical Chemistry of Fast Reactions
$39.99
From Collective Beings to Quasi-Systems
$109.99
Japanese Modality
$109.99
Catalysis
$109.99
Magnetic Characterization Techniques for Nanomaterials
$229.00
Das Essener Interview zur schulzeitbezogenen Biographie bei adulter ADHS
$44.99
Unexpected Heirs in Early Modern Europe
$109.99
Erfolgreiches Energiemanagement im Betrieb
$39.99
Professionalittsentwicklung angehender Lehrkrfte
$79.99
Holistic Business Model Transformation
$99.99
KlimaIng - Planung klimagerechter Fabriken
$89.00
Gregory Bateson on Relational Communication: From Octopuses to Nations
$199.99
Precambrian Geology of China
$84.99
Verteilungstheorie
$69.99
Combinatorial Pattern Matching
$54.99
Development, Governance and Gender in South Asia
$159.99
Foucault-Handbuch
$119.99
Multivariate and Mixture Distribution Rasch Models
$109.99
Strategische Unternehmungsfhrung und F&E-Management
$69.99
Stromversorgungen fr die Elektronik
$59.99
Experiencing Long-Term Unemployment in Europe
$84.99
Analog CMOS Filters for Very High Frequencies
$129.00
Handbuch der Literaturen aus Czernowitz und der Bukowina
$99.99
