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

Verified Software: Theories, Tools and Experiments

Verified Software: Theories, Tools and Experiments

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

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

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

Partial Differential Equations

$199.99

Artificial Intelligence for Communications and Networks

$54.99

Importing Transnational Education

$139.99

Sexual Medicine in Clinical Practice

$54.99

Cyber-Physical Security for Critical Infrastructures Protection

$44.99

Contemporary Issues in Accounting

$179.99

Navigating Community Development

$32.99

Auswahl und Qualifizierung zuknftiger Schulleitungen

$64.99

GPU-Based Interactive Visualization Techniques

$169.99

Rechtliche Rahmenbedingungen biomedizinischer Forschung am Menschen

$89.99

Our Voices: School & Friends (Single-Copy Set)

$26.99

Frhgeburt und Frhgeborenes

$59.99

Positive Prevention

$84.99

Strukturbildung von Politikfeldern

$59.99

Nahost Jahrbuch 2001

$59.99

Entwicklungsstrungen in Grob-, Fein- und Grafomotorik

$17.99

Agrobacterium Protocols

$169.00

Critical Perspectives in Happiness Research

$109.99

Extension and Interpolation of Linear Operators and Matrix Functions

$54.99

Dynamic Spectrum Access for Wireless Networks

$54.99

Imagining Outer Space

$44.99

Klinische Ethik - METAP

$44.99

The Fictions of Anita Brookner

$109.99

Softwareentwicklung fr Kraftfahrzeuge

$64.99

A Dog's Purpose- Lily to the Rescue: Lily to the Rescue

$5.21

Computer Vision ECCV 2022 Workshops

$199.99

Text Analysis with R for Students of Literature

$49.99

Low-Power Variation-Tolerant Design in Nanometer Silicon

$109.99

Experiential Learning in Geography

$169.99

Elektronik

$69.99

Konfrontative Interventionen in der Psychotherapie

$17.99

Algorithms and Computations

$39.99

Taxation of European Companies at the Time of Establishment and Restructuring

$39.99

Surgery of the Ureter

$84.99

Logic of Discovery and Logic of Discourse

$169.99

Kinderwelten aus Elternsicht

$59.99

Marktorientierung junger Unternehmen

$79.99

Rookie Biographies: Csar Chvez

$4.46

Von Fall zu Fall

$34.99

Cultures of Obsolescence

$109.00