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

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

24-04-2026 05:26:47

Access to the deal

Gesponsert Formal Techniques for Safety-Critical Systems

SpringerLink DE

53.49 EUR 53.49 EUR

24-04-2026 08:26:54

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

24-04-2026 08:18:15

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

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)