Formal Techniques for Safety-Critical Systems

Der Band fasst die überarbeiteten Beiträge des fünften Workshops zu formalen Techniken für sicherheitskritische Systeme zusammen und bietet praxis ...
For Safety-Critical Systems
Wo zu kaufen (3) Eigenschaften
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
Preis aktualisiert am: 11-06-2026 14:58:45
Siehe Produktangebot
Gesponsert
Formal Techniques for Safety-Critical Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 23:34:41
Siehe Produktangebot
Gesponsert
Formal Techniques for Safety-Critical Systems, Fachbücher von Peter Csaba Ölveczky, Cyrille Artho
Galaxus.de
53.49 EUR
Preis aktualisiert am: 11-06-2026 11:43:10
Siehe Produktangebot

Allgemein

Marke
Cyrille Artho
ISBN
Cyrille Artho 3319539450

Eigenschaften

Ähnliche Produkte

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: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)
Produkt anzeigen
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008)
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008)
Produkt anzeigen
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Produkt anzeigen
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Produkt anzeigen
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)
Produkt anzeigen
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Produkt anzeigen
Menü