Breaking News!
Up to 30% Off Nike Footwear

Automated Technology for Verification and Analysis

Best Price (Coupon Required):
Buy Automated Technology for Verification and Analysis 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.

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

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

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

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

How to Value a Bank

How to Value a Bank

$79.99
Multilabel Classification

Multilabel Classification

$109.99
Mercury in the Biogeochemical Cycle

Mercury in the Biogeochemical Cycle

$84.99
Advances in Databases

Advances in Databases

$39.99
High-Energy Physics and Cosmology

High-Energy Physics and Cosmology

$39.99
On the Literary Nonfiction of Nancy Mairs

On the Literary Nonfiction of Nancy Mairs

$54.99
Managing Environmental Risk Through Insurance

Managing Environmental Risk Through Insurance

$109.99
Methodik und Richtlinien fr die Konstruktion von laseradditiv gefertigten Leichtbaustrukturen

Methodik und Richtlinien fr die Konstruktion von laseradditiv gefertigten Leichtbaustrukturen

$84.99
Regulation of Health: Case Studies of Sweden and Switzerland

Regulation of Health: Case Studies of Sweden and Switzerland

$169.99
Complex Systems and Computational Biology Approaches to Acute Inflammation

Complex Systems and Computational Biology Approaches to Acute Inflammation

$169.99
Managing Capability

Managing Capability

$79.99
Relay Feedback

Relay Feedback

$84.99
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

$109.99
Untersuchungen ber die Kombination Metallkleben  Punktschweien

Untersuchungen ber die Kombination Metallkleben Punktschweien

$54.99
Forschungsdesign in der Politikwissenschaft

Forschungsdesign in der Politikwissenschaft

$17.99
Recycled Aggregate Concrete Structures

Recycled Aggregate Concrete Structures

$219.99
The Great Gatsby and other Works by F. Scott Fitzgerald

The Great Gatsby and other Works by F. Scott Fitzgerald

$24.99
Ertrags-, Zuwachs-, und Bestandsformzahl-Tafeln fr den Buchenhochwald

Ertrags-, Zuwachs-, und Bestandsformzahl-Tafeln fr den Buchenhochwald

$54.99
Real Talk: Reality Television and Discourse Analysis in Action

Real Talk: Reality Television and Discourse Analysis in Action

$109.99
Institutionelle Herausforderungen im Neuen Europa

Institutionelle Herausforderungen im Neuen Europa

$59.99
Database and Expert Systems Applications

Database and Expert Systems Applications

$84.99
Global Telecommunication Networks: Strategic Considerations

Global Telecommunication Networks: Strategic Considerations

$109.99
Multi-User Communication Systems

Multi-User Communication Systems

$54.99
Reflections on Political Theory

Reflections on Political Theory

$54.99
Position and Nearshore Mooring

Position and Nearshore Mooring

$159.99
Integration von flexiblen Fertigungszellen in die PPS

Integration von flexiblen Fertigungszellen in die PPS

$69.99
Flood Control Management for the City and Surroundings of Jeddah, Saudi Arabia

Flood Control Management for the City and Surroundings of Jeddah, Saudi Arabia

$84.99
Medienunternehmen im digitalen Zeitalter

Medienunternehmen im digitalen Zeitalter

$69.99
Corruption and Anti-Corruption in PolicingPhilosophical and Ethical Issues

Corruption and Anti-Corruption in PolicingPhilosophical and Ethical Issues

$59.99
Die soziale Welt kleiner Betriebe

Die soziale Welt kleiner Betriebe

$34.99
Jayme Tiomno

Jayme Tiomno

$84.99
Economics and Finance Readings

Economics and Finance Readings

$149.00
In-Memory Data Management

In-Memory Data Management

$69.99
Polymer Nanocomposites

Polymer Nanocomposites

$199.99
Future Access Enablers for Ubiquitous and Intelligent Infrastructures

Future Access Enablers for Ubiquitous and Intelligent Infrastructures

$54.99
Intrusion Detection

Intrusion Detection

$169.99
Zuwanderungspolitik im Nationalstaat

Zuwanderungspolitik im Nationalstaat

$59.99
Ekem  Dermatitis Pruritus  Prurigo  Strophulus NeurodermitisSeborrhoisches Ekem

Ekem Dermatitis Pruritus Prurigo Strophulus NeurodermitisSeborrhoisches Ekem

$59.99
The Coordination Chemistry of Metalloenzymes

The Coordination Chemistry of Metalloenzymes

$169.99
Digitales Human Resource Management

Digitales Human Resource Management

$64.99
previous
next