Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

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

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

Available Colors
Available Sizes
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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Arbeitsmarktpolitik in der sozialen Marktwirtschaft

$44.99

Coalition Formation by Sophisticated Players

$54.99

Comecon Data 1983

$44.99

Fieldwork for Healthcare

$34.99

Transactions on Petri Nets and Other Models of Concurrency XVI

$99.99

Negotiating Boundaries

$54.99

Thinking Beyond Technology

$54.99

Molecular Dermatology

$109.99

Risikomanagement in der Entwicklung und Produktion von Spielfilmen

$49.99

Praxis LWS-Erkrankungen

$129.99

The Development of the Italian Schools of Painting

$54.99

Multiculturalism, Identity and Difference

$19.99

Medien und Kulturen des Konflikts

$39.99

Mechanistic Approaches to Interactions of Electric and Electromagnetic Fields with Living Systems

$219.99

Solvable Cellular Automata

$179.99

Japanese Outbound Acquisitions

$119.99

Economic Theory of Fuzzy Equilibria

$74.99

Die Radikale Rechte

$79.99

Dermatoskopie

$69.99

Neuropsychologie

$37.99

Zwischen Hollywood und Bollywood

$59.99

Spectroscopic Methods and Analyses

$84.99

Kinetic Theory of the Inner Magnetospheric Plasma

$169.00

Topics in Nonlinear Mechanics and Physics

$109.99

Hard X-ray Photoelectron Spectroscopy (HAXPES)

$299.99

Die Arbeitsweise des Gehirns und Die Psychischen Vorgnge

$59.99

Schlerduden

$54.99

Local Systems in Algebraic-Arithmetic Geometry

$44.99

Open Source Geospatial Tools

$109.99

Analysis and Synthesis of Nonlinear Control Systems

$129.00

Fiber Optics Standard Dictionary

$109.99

Quadratic Forms in Infinite Dimensional Vector Spaces

$39.99

Advanced Materials

$219.99

Elemente internationaler Medienwissenschaften

$37.99

Problem-based Learning into the Future

$109.99

Public Policies for Territorial Cohesion

$139.99

Fundamentals of Superconductivity

$109.99

Neuroendocrine Regulation and Altered Behaviour

$54.99

Divided Lives

$37.99

Domestic Servants in Literature and Testimony in Brazil, 1889-1999

$54.99