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 Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.
Reviews
Questions & Answers
Die europische Stadt unter Privatisierungsdruck
$59.99
Pagan Themes in Modern Children's Fiction
$39.99
Abhilfemanahmen in der Fusionskontrolle und Ausgleichsmanahmen in der Banken-Beihilfenkontrolle
$49.99
Architecture
$84.99
The Cyber Economy
$179.99
Autotrophic Microbiology and One-Carbon Metabolism
$129.00
Bottom Gravity Currents and Overflows in Deep Channels of the Atlantic Ocean
$129.00
Journalism and Memorialization in the Age of Social Media
$39.99
Megalopolis: The Giant City in History
$169.99
Microplastics in the Mediterranean Sea
$54.99
Der Ausbau der wirtschaftlichen Einteilung des Wege- und Schneisennetzes im Walde
$59.99
Making Markets Making Place
$69.99
Infertility
$109.99
Microstructural Principles of Food Processing and Engineering
$169.99
Green Transportation and New Advances in Vehicle Routing Problems
$139.00
Spontanverlauf und Therapiebeurteilung rheumatischer Erkrankungen
$59.99
Handbook of Geometry and Topology of Singularities II
$199.99
The Carbonic Anhydrases: Current and Emerging Therapeutic Targets
$159.99
Slay
$8.99
Torture Porn
$109.00
Transnational Higher Education in the Asian Context
$54.99
Pregnancy Discrimination and the American Worker
$109.99
Market Timing and Moving Averages
$99.00
Yearbook of Morphology 2002
$169.00
Iterative Learning Stabilization and Fault-Tolerant Control for Batch Processes
$109.99
Hello Reader! Level 2: A Boy Named Boomer
$2.99
Metzler Lexikon Religion
$99.00
Feed-Forward Neural Networks
$109.99
Berechnungsgang und grundlegende Untersuchungen fr ein Reduktionsverfahren zur Herstellung von fls
$59.99
Awarded for Valour
$48.00
Environmental Valuation with Discrete Choice Experiments
$37.99
Adaptation in Stochastic Environments
$54.99
The Neurology of the Elderly
$54.99
Hhere Mathematik fr Ingenieure
$49.99
Natural Law & Government
$139.99
The Law of Carriage of Goods by Sea
$139.99
Aesthetic Plastic Surgery of the Abdomen
$109.00
Kommutatorkaskaden und Phasenschieber
$59.99
Variational Methods for Discontinuous Structures
$109.99
Applied Reconfigurable Computing
$54.99
