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)

For Safety-Critical
Wo zu kaufen (4) Eigenschaften
Gesponsert
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... Computer and Information Science, Band 1165)
Medimops DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 19:04:36
Siehe Produktangebot
Gesponsert
Formal Techniques for Safety-Critical Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:01:19
Siehe Produktangebot
Gesponsert
Formal Techniques for Safety-Critical Systems, Fachbücher von Osman Hasan, Frédéric Mallet
Galaxus.de
53.49 EUR
Preis aktualisiert am: 27-04-2026 18:43:56
Siehe Produktangebot
Gesponsert
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... Computer and Information Science, Band 1165)
Amazon
54.16 EUR
Preis aktualisiert am: 23-04-2026 09:09:14
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
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification
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
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
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 Techniques for Data Base Design
Formal Techniques for Data Base Design
Produkt anzeigen
Menü