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

Capital and the Cosmos

$32.99

Moderne Enterprise Architekturen

$29.99

Outside Modernism

$54.99

Too Sweet: 6-Book Set

$21.95

Denying AIDS

$19.99

Elektrische Starkstromanlagen

$59.99

Time-Varying Formation Tracking Control for Nonlinear Swarm Systems

$129.00

Hybrid Logic and its Proof-Theory

$84.99

Globalisierung, Bildung und grenzberschreitende Mobilitt

$44.99

Video-Atlas of VATS Pulmonary Sublobar Resections

$139.00

Plant Litter

$179.99

Basel III Credit Rating Systems

$169.99

Measuring Globalisation

$39.99

Smart Practice Workbook: First Grade

$11.24

Foundations of Generic Optimization

$54.99

Domesticity on Display

$99.00

Computer Performance Engineering

$39.99

Inorganic and Organometallic Macromolecules

$109.99

Mobilitt von Jugendlichen

$64.99

Bioprospecting of Tropical Medicinal Plants

$279.99

Essays in Mathematics and its Applications

$109.99

Dispersionen und Emulsionen

$69.99

Neue Formen der Datenkommunikation / New Forms of Data Communication

$69.99

LGBT Athletes in the Sports Media

$169.99

Space Fostering African Societies

$109.99

Articulated Motion and Deformable Objects

$39.99

Multimodal Learning for Clinical Decision Support and Clinical Image-Based Procedures

$54.99

Cyber Crisis Management

$44.99

Analysis of Images, Social Networks and Texts

$39.99

Data Integration Life Cycle Management with SSIS

$44.99

Molecular Biology and Biotechnology of Extremophiles

$54.99

Simulation Approach Towards Energy Flexible Manufacturing Systems

$159.99

A Quarter Century of Community Psychology

$169.99

Mathematical Modeling of the Human Brain

$37.99

Field Manual of Diseases on Garden and Greenhouse Flowers

$109.99

Flexible Query Answering Systems

$54.99

Process Technology

$169.99

Deploying Raspberry Pi in the Classroom

$29.99

Monolithic Diode-Laser Arrays

$39.99

The Ethical Dimensions of Global Change

$54.99