Formal Techniques in Real-Time and Fault-Tolerant Systems

Ein tiefgehendes Werk, das die fortschrittlichsten formalen Techniken für Echtzeit‑ und fehlertolerante Systeme präsentiert; es verbindet mathemat ...
Real-Time and Fault-Tolerant
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... (Lecture Notes in Computer Science)
Medimops DE
104.64 EUR
Preis aktualisiert am: 28-04-2026 18:39:00
Siehe Produktangebot
Gesponsert
Formal Techniques in Real-Time and Fault-Tolerant Systems
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 28-04-2026 20:56:08
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540584684
MPN
Springer Berlin Heidelberg 6906257

Eigenschaften

Ähnliche Produkte

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 Objects Components and Systems
Formal Techniques for Distributed Objects Components and Systems
Produkt anzeigen
Formal Techniques for Distributed Objects Components and Systems
Formal Techniques for Distributed Objects Components and Systems
Produkt anzeigen
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 571, Band 571)
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 571, Band 571)
Produkt anzeigen
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science, 331, Band 331)
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science, 331, Band 331)
Produkt anzeigen
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings ... Notes in Computer Science, 1486, Band 1486)
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings ... Notes in Computer Science, 1486, Band 1486)
Produkt anzeigen
Menü