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

Formal Techniques for Safety-Critical Systems

52.94 EUR 4% Off 54.99 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

-4%

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

06-11-2026 07:15:29

Access to the deal

-3%

Gesponsert Formal Techniques for Safety-Critical Systems

Hugendubel

53.49 EUR 54.99 EUR

06-11-2026 14:01:17

Access to the deal

Gesponsert Formal Techniques for Safety-Critical Systems

SpringerLink DE

54.99 EUR 54.99 EUR

06-11-2026 09:01:17

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

Ä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

Ähnliche Produkte

Formal Techniques for Safety-Critical Systems

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