Formal Techniques for Safety-Critical Systems

Ein kompakter Sammelband aus dem FTSCS‑Workshop in Paris, der aktuelle Forschung zu formalen Methoden für sicherheitskritische Systeme präsentiert ...
Information Science
Wo zu kaufen (3) Eigenschaften
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
Preis aktualisiert am: 12-06-2026 06:00:09
Siehe Produktangebot
Gesponsert
Formal Techniques for Safety-Critical Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 23:33:07
Siehe Produktangebot
Gesponsert
Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky
Galaxus.de
53.49 EUR
Preis aktualisiert am: 11-06-2026 11:36:50
Siehe Produktangebot

Allgemein

Marke
Cyrille Artho
ISBN
Cyrille Artho 3319295098
MPN
Cyrille Artho 86 black & white illustrations, biograph

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: 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
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Produkt anzeigen
Menü