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

Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

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

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The9 revised full papers presented were carefully reviewed and selected from 22 submissions.This volume combines the post-conference proceedings of the 2014 DoctoralSymposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration inthe Networked Healthcare" of ISoLA 2012.

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

Die Knickfestigkeit

$59.99

Spezielle Chirurgische Diagnostik

$79.99

Scientific Scholarly Communication

$64.99

Breast Cancer Stem Cells & Therapy Resistance

$54.99

Applied Artificial Intelligence 2: Medicine, Biology, Chemistry, Financial, Games, Engineering

$199.99

Developments in Applied Spectroscopy

$39.99

Atlas of Two-Dimensional Echocardiography in Congenital Cardiac Defects

$74.99

Location Privacy in Mobile Applications

$54.99

Der Klinisch-infektiologische Fall

$64.99

Birds in Minnesota, Revised and Expanded Edition by Robert B. Janssen

$34.95

Society and Economy in Venezuela

$39.99

Human Rights, Imperialism, and Corruption in US Foreign Policy

$54.99

Photo Finished- A Picture Perfect Cozy Mystery by Christin Brecher

$16.95

The Duration and Safety of Osteoporosis Treatment

$109.99

Imagining the Congo

$84.99

There Was An Old Lady Who Swallowed a Ghost!

$5.24

Californium-252 Isotope for 21st Century Radiotherapy

$39.99

Specialization and Complementation of Humoral Immune Responses to Infection

$169.99

Wer dient, verdient!

$39.99

Lebensgeschichten

$54.99

Model Based Approach for Energy and Resource Efficient Machining Systems

$159.99

Coffee

$119.00

Rural Womens Power in South Asia:

$54.99

Magnetically-Controlled Shunt Reactors

$159.99

X-Ray Microscopy

$39.99

Molecular Pathology of Nervous System Tumors

$84.99

Ea(s)t meets West - Fit und gesund mit der Westlichen 5-Elemente-Ernhrung

$24.99

Dream Crazy Big

$7.49

Stock Markets in Islamic Countries

$59.99

Building Digital Experience Platforms

$54.99

Adding 3 Digits Grade 4 Differentiation Pack

$5.99

Improvement Strategies of Leguminosae Biotechnology

$219.99

Study on the Issue of Taiwans Participation in the International Space

$109.99

Variation-Aware Design of Custom Integrated Circuits: A Hands-on Field Guide

$139.99

Systems approaches for agricultural development

$109.99

Network Games, Control, and Optimization

$109.99

Lubrication in Practice

$84.99

Sanierung von Metallbauteilen

$49.99

Intergroup Helping

$159.99

GO 2013

$69.99