Formal Techniques for Safety-Critical Systems

Der Band sammelt die ausgewählten Beiträge des dritten FTSCS‑Workshops 2014 aus Luxemburg, der sich mit formalen Methoden für sicherheitskritisch ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Techniques for Safety-Critical Systems (Communications in Computer and Information Science)
Medimops DE
53.34 EUR
Preis aktualisiert am: 12-06-2026 05:59:54
Siehe Produktangebot
Gesponsert
Formal Techniques for Safety-Critical Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 23:32:25
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:34:49
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 86 black & white illustrations, biograph
ISBN
Springer-Verlag GmbH 9783319175805

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