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 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
Von Horaz und Ovid bis zum Archipoeta
$19.99
Diskrete Mathematik fr Einsteiger
$39.99
The U.S.-Japan Security Alliance
$109.99
Switching in Systems and Control
$79.99
C++
$59.99
Transactions and Change in Logic Databases
$39.99
Rethinking Science Education in Latin-America
$179.99
Concepts and Applications in Veterinary Toxicology
$169.99
Global Administrative Law and EU Administrative Law
$199.99
Demokratie als Herrschaftsordnung
$59.99
Zen and Comparative Studies
$109.99
Cohomological Theory of Dynamical Zeta Functions
$199.99
Managing the Reality of Virtual Organizations
$39.99
The Financialization of Commodity Markets
$54.99
The Long Way Home (Chief Inspector Gamache Series #10) by Louise Penny
$19.00
Michael Speransky
$54.99
Leibniz und die Folgen
$14.99
Surviving Hitlers War
$44.99
Verffentlichungen der Bundesanstalt fr alpine Landwirtschaft in Admont 4
$4.99
Due Diligence in der Praxis
$79.99
Ground Engineering - Principles and Practices for Underground Coal Mining
$139.99
Emerging Technologies for Future Sustainability
$249.99
Die CDU auf Landesebene
$59.99
Superionic Conductors
$54.99
Gene-Environment Transactions in Developmental Psychopathology
$79.99
Microscopic Simulations of Complex Hydrodynamic Phenomena
$169.99
Abfallentsorgung im Ausland
$59.99
Das Intelligente Unternehmen
$54.99
Foreign Direct Investment and Multinational Enterprises
$169.99
Nineteenth-Century Illustration and the Digital
$44.99
Handbook of Software Engineering
$219.99
Arab Revolution in the 21st Century?
$54.99
Pervasive Computing: A Networking Perspective and Future Directions
$84.99
Caves and Karst of Turkey - Vol. 1
$139.99
Principles of Data Security
$39.99
Recent Trends in Civil Engineering
$219.99
Bestimmung der Sitzposition und Krperhaltung von Zweiradfahrern fr charakteristische Zweirad-Fahre
$84.99
Actinobacteria
$169.99
Common Bacterial Infections in Infancy and Childhood
$54.99
Computational Methods for Representations of Groups and Algebras
$39.99
