Name: Formal Techniques for Safety-Critical Systems
Brand: Springer-Verlag GmbH
SKU: ID12404956
Availability: InStock

Formal Techniques for Safety-Critical Systems

53.34 EUR 0% Off 53.49 EUR

Der Band präsentiert überarbeitete Arbeiten aus dem FTSCS‑Workshop 2014 in Luxemburg und beleuchtet neue Ansätze zur formalen Modellierung, Verifikation und Analyse sicherheitskritischer Systeme, wobei sowohl theoretische Grundlagen als auch praxisnahe Fallstudien im Fokus stehen.

Marke: Springer-Verlag GmbH

MPN: 86 black & white illustrations, biograph

ISBN: 9783319175805

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-0%

Gesponsert Formal Techniques for Safety-Critical Systems (Communications in Computer and Information Science)

Medimops DE

53.34 EUR 53.49 EUR

14-06-2026 02:16:04

Access to the deal

Gesponsert Formal Techniques for Safety-Critical Systems

SpringerLink DE

53.49 EUR 53.49 EUR

14-06-2026 10:16:36

Access to the deal

Gesponsert Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky

Galaxus.de

53.49 EUR 53.49 EUR

14-06-2026 06:23:27

Access to the deal

Formal Techniques for Safety-Critical Systems

Gesponsert Formal Techniques for Safety-Critical Systems (Communications in Computer and Information Science)

Gesponsert Formal Techniques for Safety-Critical Systems

Gesponsert Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Techniques for Safety-Critical Systems

Gesponsert Formal Techniques for Safety-Critical Systems (Communications in Computer and Information Science)

Gesponsert Formal Techniques for Safety-Critical Systems

Gesponsert Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky

Ähnliche Produkte

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)