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, Experiments

Verified Software: Theories, Tools, Experiments

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

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

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

Europa von A bis Z

$29.99

Rechtsextremismus in lokalen Kontexten

$64.99

Corporations as Custodians of the Public Good?

$109.99

The Political Marketing Game

$54.99

New Waves in Philosophy of Mind

$109.99

Die neuzeitliche Behandlung frischer Schdelhirnverletzungen

$59.99

Pragmatics

$54.99

Politische Bildung im Theater

$29.99

Der Dammbau

$84.99

Power, Property Rights, and Economic Development

$39.99

Seifert Manifolds

$19.99

Nicht rgern - ndern!

$19.99

Das Vorkommen fossiler Landwirbeltiere im Jungtertir sterreichs und besonders des Wiener Beckens

$54.99

Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens

$59.99

Lectures on Quantum Statistics

$59.99

Ricky Ricotta: Ricky Ricotta's Mighty Robot

$5.24

Der Getreideterminhandel in Deutschland vor und seit der Reichsbrsengesetzgebung

$59.99

Die Zeichnungen Rembrandts und seiner Schule im National-Museum zu Stockholm

$54.99

Perspektive in Sprache und Raum

$49.99

Thiamine Deficiency and Associated Clinical Disorders

$129.00

Topics in Electronic Commerce

$39.99

Statutes of Liberty

$19.99

3D Printing in Medicine and Its Role in the COVID-19 Pandemic

$84.99

Elektrizittslehre

$59.99

Computing and Machine Learning

$189.00

Kundenorientierte Prozessverbesserungen

$89.99

Orthomodular Lattices

$109.99

Grundstzliches zur Demokratisierung des deutschen Bildungswesens

$54.99

Imagined Commonwealth

$109.99

Satellite Network Robust QoS-aware Routing

$109.99

Alien Skies

$32.99

PBX Security and Forensics

$34.99

Children of the Quicksands (Hardcover)

$14.24

Warum kaufen Kunden, was sie kaufen

$44.99

Sternverzeichnis Enthaltend Alle Sterne bis zur 6.5Ten Grsse fr das Jahr 1900.0

$59.99

The Abandoned Generation

$54.99

Executive Secrecy and Democratic Politics

$129.99

The News of the World and the British Press, 1843-2011

$54.99

Corporate Capitslism in Japan

$84.99

Kant and Critique: New Essays in Honor of W.H. Werkmeister

$109.99