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

Zerstrende Werkstoffprfung

$49.99

Online-Marketing fr die erfolgreiche Arztpraxis

$49.99

Animal Diversity

$74.99

Die Sichtbarmachung des Unsichtbaren

$59.99

She Speaks Her Anger: Myths and Conversations of Gimi Women

$119.99

Spectroscopic Data

$39.99

Mercks Reagenzien-Verzeichnis

$59.99

Decolonial Christianities

$139.99

Intramembrane-Cleaving Proteases (I-CLiPs)

$84.99

Economic Decisions Under Uncertainty

$54.99

Transsophageale Echokardiographie monoplan/biplan

$54.99

Brick by Brick

$6.71

Fabriken ohne Menschen

$59.99

Applications of Evolutionary Computing

$84.99

Light Emitting Diodes for Agriculture

$219.00

Kompendium Standortstrategien fr Unternehmensimmobilien

$69.99

Statistik fr programmierbare Taschenrechner (AOS)

$69.99

50 Years with Hardy Spaces

$159.99

Advances in Databases and Information Systems

$39.99

Scale Modeling and Simulation of Incompressible Turbulent Multi-Phase Flow

$129.00

Archaeologies of the British in Latin America

$119.99

Hydropneumatic Suspension Systems

$109.99

Identitt

$44.99

The Northern Rebellion of 1569

$109.99

Rethinking Urban Transformations

$129.00

Statistik in der Epidemiologie psychischer Strungen

$44.99

Das Holz als Rohstoff

$84.99

EU Citizenship Beyond Urban Centres

$59.99

Why Greatness Cannot Be Planned

$32.99

Refugee Connection

$39.99

Sprachentwicklung und Interaktion

$64.99

The U.S. Payment System: Efficiency, Risk and the Role of the Federal Reserve

$109.99

Proceedings of the 12th International Conference on Advanced Materials and Engineering Materials

$279.99

Pattern Recognition Theory and Applications

$329.99

Emergence and Control of Zoonotic Viral Encephalitides

$169.99

Queering Normativity and South Asian Public Culture

$99.00

Holistic Business Model Transformation

$99.99

Lernaufgaben im kompetenzfrderlichen Sportunterricht

$59.99

Space, Structure and Randomness

$109.99

I Am Curious: An Acorn Book (Princess Truly #7)

$3.74