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

Formal Techniques for Safety-Critical Systems

53.49 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

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 53.49 EUR

14-06-2026 02:16:23

Access to the deal

Gesponsert Formal Techniques for Safety-Critical Systems

SpringerLink DE

53.49 EUR 53.49 EUR

13-06-2026 18:19:58

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:28:07

Access to the deal

Formal Techniques for Safety-Critical Systems

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

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: 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

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)