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

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

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

Logistik und Banken

$49.99

Joint ventures als Marketing-Problem

$59.99

Direct Realism

$84.99

Constructions of Cancer in Early Modern England

$31.00

Muslim Minority-State Relations

$109.99

Fly Guy Presents: Weather

$4.49

The White Tower (Hardcover)

$12.74

Adult Stem Cells

$219.99

Ungewissheit als Herausforderung fr pdagogisches Handeln

$89.99

Issues of Contemporary Art and Aesthetics in Chinese Context

$99.99

Klinische Alkoholismusdiagnostik

$49.99

Love from Scratch by Kaitlyn Hill

$17.99

Genetic Differentiation and Dispersal in Plants

$109.99

Die Algenzonierung in Mooren des sterreichischen Alpengebietes

$59.99

Globalisierung der Automobilindustrie

$89.99

Mythos Determinismus

$19.99

Programmieren in C

$24.99

Planetary Aeronomy

$109.99

Haunted Hardy

$119.99

Convergence of Terahertz Sciences in Biomedical Systems

$149.00

Adult Education

$109.99

Introduction to Visual SLAM

$129.00

Jakob von Uexkll

$159.99

Computer Vision ECCV 2024

$79.99

Modulation of Synaptic Transmission and Plasticity in Nervous Systems

$84.99

Elektrische Kraftwerkstechnik

$69.99

Nuclear Radiation Nanosensors and Nanosensory Systems

$109.99

Electromagnetic Depth Soundings

$84.99

Nanotechnology in Construction

$219.99

Conformal Invariance: an Introduction to Loops, Interfaces and Stochastic Loewner Evolution

$54.99

Die Einbindung des Absatz- und Produktionsbereichs in Innovationsprozesse

$79.99

Thringen - Handbuch

$29.99

Stochastische Geometrie

$69.95

Kooperative Marktforschung

$59.99

Optimization with PDE Constraints

$109.99

National Geographic Kids Readers: Level 2: Harriet Tubman

$3.71

Govering for the Environment

$109.99

Fundamentals of Craniofacial Malformations

$99.00

Rntgenfibel

$69.99

Bausteine zur Einfhrung von E-Learning in Unternehmen

$49.99