Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)
Medimops DE
49.98 EUR
Preis aktualisiert am: 11-06-2026 14:57:38
Siehe Produktangebot
Gesponsert
Formal Techniques for Safety-Critical Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 23:31:30
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:31:24
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Formal Techniques for Distributed Objects Components and Systems
Formal Techniques for Distributed Objects Components and Systems
Produkt anzeigen
Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1)
Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1)
Produkt anzeigen
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
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 Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Communication Technology, 55, Band 55)
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Communication Technology, 55, Band 55)
Produkt anzeigen
Menü