Name: Formal Techniques for Safety-Critical Systems
Brand: Cyrille Artho
SKU: ID13621705

Formal Techniques for Safety-Critical Systems

52.94 EUR 1% Off 53.49 EUR

Der Band dokumentiert die neuesten Forschungsergebnisse des fünften internationalen Workshops zu formalen Techniken für sicherheitskritische Systeme in Tokio und bietet detaillierte Fallstudien zur Verifikation hochzuverlässiger Softwaresysteme.

Marke: Cyrille Artho

ISBN: 3319539450

Angebote
Merkmale

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

-1%

Gesponsert Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)

Medimops DE

52.94 EUR 53.49 EUR

16-09-2026 21:54:35

Access to the deal

Gesponsert Formal Techniques for Safety-Critical Systems

Hugendubel

53.49 EUR 53.49 EUR

16-09-2026 00:21:43

Access to the deal

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

Galaxus.de

53.49 EUR 53.49 EUR

17-09-2026 19:44:41

Access to the deal

Formal Techniques for Safety-Critical Systems

Gesponsert Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, 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 Peter Csaba Ölveczky, Cyrille Artho

Ä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: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, 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 Peter Csaba Ölveczky, Cyrille Artho

Ähnliche Produkte

Formal Techniques for Safety-Critical Systems

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

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems