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:
Buy Tools and Algorithms for the Construction and Analysis of Systems for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996. The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.
Reviews
Questions & Answers
Asbestos: Directory of Unpublished Studies
$219.99
Art after the Hipster
$59.99
Managerial and Organisational Integration
$39.99
Lagermetalle und Ihre Technologische Bewertung
$59.99
North American Social Report
$54.99
Alcohol, Cocaine, and Accidents
$89.00
Soziologie des Jugendalters
$59.99
Understanding Asperger Syndrome and High Functioning Autism
$109.99
Heat Flow Through Extended Surface Heat Exchangers
$109.99
Diderots Politics
$109.99
Limit Theorems for Random Fields with Singular Spectrum
$109.99
Innovationen und Gewerkschaften
$59.99
Professionalizing Leadership
$179.99
The New Generation of Computable General Equilibrium Models
$199.99
Blocks of Finite Groups
$54.99
Self-Defence as a Fundamental Principle
$54.99
Data Security and Privacy Protection
$169.99
The Very Old Critically Ill Patients
$109.99
Atheistic Platonism
$139.99
Computer Vision ECCV 2024
$79.99
Advances in Italian Mechanism Science
$169.00
Cost-Minimizing Choice Behavior in Transportation Planning
$84.99
Chinas Economic Growth
$109.99
Destigmatisation of People Living with HIV/AIDS in China
$139.99
Islamophobia, Victimisation and the Veil
$54.99
Protocols in Advanced Genomics and Allied Techniques
$179.99
Malaria Methods and Protocols
$89.00
Soft Computing: Theories and Applications
$219.99
Human Development Report 2007/2008
$49.99
Fragile States and Insecure People?
$39.99
Democracy and Citizenship in Scandinavia
$84.99
Mediziner-Marketing: Vom Werbeverbot zur Patienteninformation
$139.00
Injection Technologies for the Repair of Damaged Concrete Structures
$84.99
Birational Geometry of Foliations
$89.00
Ontology Management
$109.99
Material Design Implementation with AngularJS
$29.99
Software Engineering for Robotics
$129.99
Quantum Groups in Three-Dimensional Integrability
$109.99
Law and Regulation of Aerodromes
$109.99
Die Leistung vor der Innovation
$74.99
