Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
$39.99 $39.99

$39.99
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642367427
Condition
New
Product Description

This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Bchi automata; and competition on software verification.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Liquidittsspreads im Gleichgewicht auf illiquiden Anleihemrkten

Liquidittsspreads im Gleichgewicht auf illiquiden Anleihemrkten

$79.99
Personalverwaltung

Personalverwaltung

$59.99
Fhren und verkaufen mit der Kraft der Ordnung

Fhren und verkaufen mit der Kraft der Ordnung

$29.99
Dermatology Terminology

Dermatology Terminology

$84.99
Metallopharmaceuticals I

Metallopharmaceuticals I

$219.99
Essential Student Algebra

Essential Student Algebra

$54.99
Re-engineering the Enterprise

Re-engineering the Enterprise

$169.99
Geometrische Optik

Geometrische Optik

$49.99
Fortschritte der Pdologie

Fortschritte der Pdologie

$59.99
22. Internationales Stuttgarter Symposium (Set)

22. Internationales Stuttgarter Symposium (Set)

$249.99
Majority Cultures and the Everyday Politics of Ethnic Difference

Majority Cultures and the Everyday Politics of Ethnic Difference

$54.99
Biofibers and Biopolymers for Biocomposites

Biofibers and Biopolymers for Biocomposites

$109.99
Recent Advances in Intelligent Information Hiding and Multimedia Signal Processing

Recent Advances in Intelligent Information Hiding and Multimedia Signal Processing

$169.00
Fracture Analysis of Layered Beams With an Elastically Coupled Behavior and Hygrothermal Stresses

Fracture Analysis of Layered Beams With an Elastically Coupled Behavior and Hygrothermal Stresses

$219.99
Afrika - Potenzialmrkte, Expansionsstrategien und Verhandlungsmanagement

Afrika - Potenzialmrkte, Expansionsstrategien und Verhandlungsmanagement

$74.99
Clinical Perspectives on Elderly Sexuality

Clinical Perspectives on Elderly Sexuality

$109.99
Nutrition and Agricultural Development

Nutrition and Agricultural Development

$84.99
High-Tc SQUIDs for Biomedical Applications: Immunoassays, Magnetoencephalography, and Ultra-Low Fiel

High-Tc SQUIDs for Biomedical Applications: Immunoassays, Magnetoencephalography, and Ultra-Low Fiel

$109.99
Atlas of Macroscopic Wood Identification

Atlas of Macroscopic Wood Identification

$329.99
Methodological Approaches in Integrated Geography

Methodological Approaches in Integrated Geography

$84.99
Kunststofftechnik

Kunststofftechnik

$39.99
Elite Techniques in Shoulder Arthroscopy

Elite Techniques in Shoulder Arthroscopy

$84.99
Community Quality-of-Life Indicators

Community Quality-of-Life Indicators

$129.99
Optical Spectroscopic and Microscopic Techniques

Optical Spectroscopic and Microscopic Techniques

$199.99
Telomerase Inhibition

Telomerase Inhibition

$109.99
Application of Thermo-fluid Processes in Energy Systems

Application of Thermo-fluid Processes in Energy Systems

$119.00
Earth System Modelling - Volume 5

Earth System Modelling - Volume 5

$54.99
Handbook of Philosophical Logic

Handbook of Philosophical Logic

$169.99
Machine Learning for Multimodal Healthcare Data

Machine Learning for Multimodal Healthcare Data

$49.99
Reviving Classical Liberalism Against Populism

Reviving Classical Liberalism Against Populism

$59.99
Automated Scheduling and Planning

Automated Scheduling and Planning

$109.99
The Logical Foundations of the Marxian Theory of Value

The Logical Foundations of the Marxian Theory of Value

$109.99
The Determinants of Economic Growth

The Determinants of Economic Growth

$109.99
Speleological and Speleogenetic Aspects of the Monti di Capo San Vito (Sicily)

Speleological and Speleogenetic Aspects of the Monti di Capo San Vito (Sicily)

$109.99
Algorithms and Architectures for Parallel Processing

Algorithms and Architectures for Parallel Processing

$59.99
Histopathologie der Haut

Histopathologie der Haut

$599.99
Residue Reviews

Residue Reviews

$39.99
Tourism and Migration

Tourism and Migration

$169.99
Cybernetics, Cognition and Machine Learning Applications

Cybernetics, Cognition and Machine Learning Applications

$169.00
Performing Governance

Performing Governance

$54.99
previous
next