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

Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification

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

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Computational Vision and Bio-Inspired Computing

$219.00

Yeasts in the Production of Wine

$219.00

Complexity Theory and Uncertainties

$119.99

Die Untersuchung der Ausbreitung von Stowellen in Platten auf schlierenoptischem und spannungsoptis

$59.99

Poverty and Social Assistance in Transition Countries

$54.99

Environmental Management of River Basin Ecosystems

$129.00

Computational Science ICCS 2020

$54.99

Manufacturing Technologies for Machines of the Future

$54.99

Trust and Antitrust in Asian Business Alliances

$109.99

Neuronal Plasticity: Building a Bridge from the Laboratory to the Clinic

$84.99

Retinal Pigment Epithelium in Health and Disease

$179.99

Grundzge der elektrischen Maschinen

$69.99

E-Mobility

$159.99

Smart and Flexible Digital-to-Analog Converters

$169.99

Similarity Joins in Relational Database Systems

$29.99

Exploring What Drives Indian Stock Market During Covid-19

$49.99

Applied Psychology for Project Managers

$69.99

Politik zwischen Macht und Ohnmacht

$59.99

El ciclo de vida del pollito

$3.71

Fracture Analysis of Layered Beams With an Elastically Coupled Behavior and Hygrothermal Stresses

$219.99

Investor Relations

$59.99

AI Assisted Business Analytics

$119.99

Polyamines

$219.99

100 Task Cards in a Box: Informational Text

$23.99

Mammalian Transient Receptor Potential (TRP) Cation Channels

$219.99

Rural Teacher Education

$129.00

A Transatlantic Political Theology of Psychedelic Aesthetics

$89.00

Metal Complex Catalysts Supercritical Fluid Polymerization Supramolecular Architecture

$39.99

U Uranium

$549.99

The Organizational Hologram: The Effective Management of Organizational Change

$169.00

Metallized Plastics 2

$169.99

DNA Vaccines

$249.99

Unternehmensakquisitionen und Shareholder Value

$59.99

The Virtuous Physician

$109.99

Telecommunications Local Networks

$84.99

Multiculturalism, Multilingualism and the Self

$79.99

Advances in Services Marketing

$49.99

Algorithmen fr Ingenieure

$64.99

Seismic Exploration of the Deep Continental Crust

$69.99

The Proceedings of the 5th International Conference on Energy Storage and Intelligent Vehicles (ICEI

$449.99