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

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

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

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.

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

Autonome Mobile Systeme 1999

$69.99

Performance Measurement in der Beschaffung

$59.99

Create and Deliver a Killer Product Demo

$32.99

The Parallel Lives of Women and Cows

$109.99

The Global Crisis and Transformative Social Change

$39.99

Mediterranean Marine Ecosystems

$169.99

Notfallbehandlung des akuten Koronarsyndroms

$59.99

Das unbekannte Universum

$19.99

Konstruktionsatlas

$69.99

Jahrbuch fr Handlungs- und Entscheidungstheorie

$59.99

Advances in Computer Graphics and Computer Vision

$39.99

Laboratory Handbook for the Fractionation of Natural Extracts

$169.99

Building Resilient Neighbourhoods in Singapore

$139.99

Elliptische Kurven in der Kryptographie

$34.99

Functional and Logic Programming

$54.99

Interdisciplinary Applications of the Person-Centered Approach

$54.99

Ancient Textile Production from an Interdisciplinary Perspective

$169.99

Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ

$54.99

The Quality of Democracy in Korea

$199.99

Theorie des Entrepreneurship

$74.99

Asphalt Children and City Streets

$49.99

Dynamics and Aerodynamics of Cables

$169.00

Algorithmic Randomness and Complexity

$159.99

Performativity in Elizabeth Gaskells Shorter Fiction

$59.99

Resilience vs Pandemics

$139.99

The Internal Structure of U. S. Consumption Expenditures

$109.99

Handbook of Logic and Proof Techniques for Computer Science

$54.99

Sex-Specific Analysis of Cardiovascular Function

$329.99

Phosphate Metabolism

$39.99

Agent-Oriented Software Engineering III

$39.99

Die Umesterung von Fetten und len

$49.99

Origin and Evolution of the Vertebrate Immune System

$119.00

Migrant Dubai

$99.99

Pathologisch-anatomische Sektionsmethode

$59.99

Inorganic and Nutritional Aspects of Cancer

$84.99

Isolation and Language Change

$84.99

The Gothic and the Everyday

$99.99

Naturkatastrophen und individuelles Verhalten in Entwicklungslndern

$79.99

Water, Cryosphere, and Climate Change in the Himalayas

$169.99

Childhood and Markets

$69.99