Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science, 1926, Band 1926)

Real-Time and Fault-Tolerant
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science, 1926, Band 1926)
Medimops DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 19:31:54
Siehe Produktangebot
Gesponsert
Formal Techniques in Real-Time and Fault-Tolerant Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:16:24
Siehe Produktangebot

Allgemein

Marke
Springer

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
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)
Produkt anzeigen
Formal Techniques for Distributed Objects Components and Systems
Formal Techniques for Distributed Objects Components and Systems
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science (9952), Band 9952)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science (9952), Band 9952)
Produkt anzeigen
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 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ü