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 Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

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

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

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

Proceedings of 3rd 2023 International Conference on Autonomous Unmanned Systems (3rd ICAUS 2023)

$249.99

Developmental Approaches to the Self

$39.99

A Clumsy Encounter

$49.99

The Topos of Music I: Theory

$159.99

An Expedition to Continuum Theory

$84.99

Pain Medicine

$169.99

The Changing Composition of the Workforce

$39.99

Nigel J. Kalton Selecta

$84.99

Landolt-Brnstein Set 2014

$37,368.00

Social Dimensions of Information and Communication Technology Policy

$109.99

Konstellationen des Antiziganismus

$69.99

The Underwater Handbook

$84.99

Continuous Martingales and Brownian Motion

$159.99

The Hackable City

$59.99

Active Control of Offshore Steel Jacket Platforms

$109.99

Mediatisierung als Metaprozess

$49.99

There Is No Need to Talk about This

$49.99

Structural Reliability

$129.00

T-Cell Repertoire Characterization

$169.99

Markensoziologie kompakt Basics fr die Praxis

$17.99

Lords of Misrule

$54.99

Der Sozialstaat zwischen Markt und Hedonismus?

$59.99

Dokumentationsverfahren in der Herzchirurgie

$54.99

Cultural Theory After the Contemporary

$54.99

Complements of Higher Mathematics

$109.99

Ultrafast MRI

$109.99

Big-Bang Nucleosynthesis

$69.99

Anthropozne Literatur

$69.99

Suizidhandlungen

$84.99

Jacob Mincer

$109.99

Halogen Bonding II

$259.00

Constant-Sign Solutions of Systems of Integral Equations

$109.99

The Selection of Doses in Chronic Toxicity/Carcinogenicity Studies

$54.99

Advances in Fluid Dynamics

$329.99

Das Panaritium

$59.99

Materials Design and Applications IV

$199.99

Das Liquidittsrisiko der Banken in der Finanzkrise

$64.99

Algebra und Diskrete Mathematik fr Informatiker

$44.99

Non-Abelian Harmonic Analysis

$84.99

Scholar Zone Extended Learning Plus ELA Grade K (2 Scholar)

$90.00