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

Hypercomputation

$89.99

Annual Review of Nursing Research

$39.99

Human Trafficking Is a Public Health Issue

$64.99

Understanding an Orogenic Belt

$109.99

Computer Aided Constellation Management and Communication Satellites

$279.99

The Behaviour of Pinnipeds

$329.99

British Newspaper Strips

$139.99

Physical and Biological Bases of Life Stability

$39.99

Pflegeeinrichtungen erfolgreich fhren

$29.99

Customer Relationship Management

$84.99

Nonlinear Optics in Signal Processing

$219.99

Kuhns Structure of Scientific Revolutions - 50 Years On

$54.99

Feeding Japan

$199.99

Die Performance der Europischen Whrungsordnung

$49.99

Gestaltung betrieblicher Arbeitszeitsysteme

$17.99

Oral Surgery

$219.00

Handbook of Community Movements and Local Organizations

$169.99

Einfhrung in die spanische Literaturwissenschaft

$19.99

Social Costs and Sustainability

$129.00

A Programmed Text in Statistics Book 4: Tests on Variance and Regression

$54.99

Jahrbuch fr Handlungs- und Entscheidungstheorie

$44.99

Singapur: Herrschaft der Professionals und Technokraten Ohnmacht der Demokratie?

$44.99

Image: An Integrated Model to Assess the Greenhouse Effect

$109.99

Die magnetische Drehung der Polarisationsebene bei wachsender Doppelbrechung in dilatiertem Glas

$54.99

Theory of Symmetric Lattices

$54.99

Oralpathologie II

$59.99

Verkehrsleittechnik fr den Straenverkehr

$79.99

CSR und Kirche

$49.99

Forensic Memory

$99.99

Smart Cities

$84.99

Higher Education in Taiwan

$159.99

Mobile Wireless Middleware, Operating Systems and Applications - Workshops

$54.99

Planungs- und Kontrollrechnung

$54.99

The Palgrave Concise Historical Atlas of Eastern Europe

$109.99

Geometric Methods in Physics XXXVII

$169.99

Linear Programming in Industry

$54.99

Seasons of the Circle

$5.96

Cancer Chemotherapy and Selective Drug Development

$129.00

Information and Communication Technologies for Ageing Well and e-Health

$54.99

Elaborating Professionalism

$84.99