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
9783540883876
Condition
New
Product Description

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.

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

Proceedings of the 7th International Symposium of Space Optical Instruments and Applications

$199.99

Analog Circuit Design

$169.99

Volkstmliche Namen der Arzneimittel, Drogen und Chemikalien

$59.99

Whatever After: Sink or Swim (#3)

$5.24

Tribology and Mechanics of Magnetic Storage Devices

$84.99

French Comedy on Screen

$54.99

Piraten, Flscher und Kopierer

$54.99

Factory Planning Manual

$84.99

Global Matters for Non-Governmental Public Action

$54.99

Rock Guitar For Dummies by Jon Chappell

$24.99

Linear Representations of Groups

$74.99

Surface and Colloid Science

$129.00

Prospects for Alternative Energy Development in the U.S. West

$109.99

Stospannungs- und Stostrommesstechnik

$99.99

Advances in Neural Networks -- ISNN 2010

$84.99

Bauwerke und Erdbeben

$59.99

Databases and Information Systems

$54.99

Foothold in the Heavens

$59.99

Stalin: From Theology to the Philosophy of Socialism in Power

$129.99

VOB/B 2012 - Textausgabe/Text Edition

$39.99

Rehabilitation nach Myokardinfarkt in ambulanten Koronarsportgruppen

$69.99

Haftungsrecht fr Finanzdienstleister

$39.99

Detection and Disposal of Improvised Explosives

$219.99

Performance and Identity in Irish Stand-Up Comedy

$54.99

Trichinella and Trichinosis

$129.00

Berichte zu Pflanzenschutzmitteln 2008

$29.95

Elektrische Gasentladungen

$59.99

Active Networks

$54.99

Zur Aktualitt von Michel de Certeau

$37.99

Energy Minimization Methods in Computer Vision and Pattern Recognition

$54.99

Intrinsic Motivation

$169.99

The Hidden Lives of Big Beautiful Women

$129.99

Die zeitgeme Heidampflokomotive

$84.99

Wings of Fire Guide to the Dragon World (Hardcover)

$18.74

Handbook of Semidefinite Programming

$169.00

War Narratives and the American National Will in War

$54.99

Gesellschaftliche Verantwortungsbernahme von Unternehmen

$69.99

Alternative Lithography

$129.00

Kundenbindung durch Weiterempfehlung

$69.99

The Interstellar in Galaxies

$169.99