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

$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

Research Methodology and Scientific Writing

$99.99

The Skeptic's Oakeshott

$39.99

Super-Intelligent Machines

$109.99

Die Atmosphre der Erde

$39.99

Quantum Theory

$139.99

The Italian Girls by Debbie Rix

$12.99

Die Frauen und das Netz

$69.99

Novel Optical Endoscopes for Early Cancer Diagnosis and Therapy

$109.99

Practical Aspects of Declarative Languages

$39.99

Der Aufstand der Populisten

$69.99

Medizin im Spielfilm der fnfziger Jahre

$24.99

Recent Freshwater Ostracods of the World

$279.99

Technological Innovation for Life Improvement

$84.99

Grner Kapitalismus?

$39.99

Scientific Discovery, Logic, and Rationality

$219.99

Neuroaesthetics

$49.99

Testing of Communicating Systems

$54.99

Emerging Technologies for Next Generation Learning Spaces

$109.99

Reibungsturbomaschinen

$69.99

The Physician as Captain of the Ship

$169.99

Self-Governance and Sami Communities

$59.99

Economics for a Fairer Society

$59.99

Intraocular Inflammation

$379.99

Recent Advances in Mechanical Engineering

$169.00

Cancer Treatment: An Interdisciplinary Approach

$199.99

Analyse saisonaler Zeitreihen

$61.00

Pathochemical Markers in Major Psychoses

$54.99

Das Zwischenhirn-Hypophysensystem

$59.99

High Performance Computing in Science and Engineering 99

$84.99

Bibliothek der Mediengestaltung Basisset Gestaltung und Medientechnik

$69.99

The Cnidaria, Past, Present and Future

$379.99

Progress in Botany 69

$219.99

Achieving Social Impact

$59.99

Intelligent Decision Support - Intelligente Entscheidungsuntersttzung

$54.99

Jewish Resistance to Romanianization, 1940-44

$54.99

Grundlagen und Beispiele Interpretativer Unterrichtsforschung

$49.99

Oscillations and Waves

$84.99

Mobilitt, Verkehr und Raumnutzung in alpinen Regionen

$69.99

Sociological Theory Beyond the Canon

$109.00

Glycoprotein Methods and Protocols

$149.00