Name: Formal Techniques for Safety-Critical Systems
Brand: Cyrille Artho
SKU: ID12419071
Availability: InStock

Formal Techniques for Safety-Critical Systems

53.49 EUR 9% Off 59.00 EUR

Ein kompakter Sammelband aus dem FTSCS‑Workshop in Paris, der neueste Erkenntnisse zu formalen Techniken für sicherheitskritische Systeme zusammenfasst und deren praktische Umsetzung sowie theoretische Entwicklungen beleuchtet.

Marke: Cyrille Artho

ISBN: 3319295098

MPN: 86 black & white illustrations, biograph

Angebote
Merkmale

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

-9%

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

Galaxus.de

53.49 EUR 59.00 EUR

29-07-2026 01:44:31

Access to the deal

-9%

Gesponsert Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science)

Medimops DE

53.49 EUR 59.00 EUR

27-07-2026 22:42:24

Access to the deal

Gesponsert Formal Techniques for Safety-Critical Systems

SpringerLink DE

59.00 EUR 59.00 EUR

29-07-2026 07:46:07

Access to the deal

Formal Techniques for Safety-Critical Systems

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

Gesponsert Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science)

Gesponsert Formal Techniques for Safety-Critical Systems

Ä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, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky

Gesponsert Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science)

Gesponsert Formal Techniques for Safety-Critical Systems

Ä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)