Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (Lecture Notes in Computer Science, 1135, Band 1135)

Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (Lecture Notes in Computer Science, 1135, Band 1135)
Medimops DE
53.49 EUR
Preis aktualisiert am: 29-04-2026 08:16:24
Siehe Produktangebot
Gesponsert
Formal Techniques in Real-Time and Fault-Tolerant Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 29-04-2026 10:23:26
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540616489
MPN
Springer Berlin Heidelberg 6943827

Eigenschaften

Ähnliche Produkte

Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems
Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and Applications
Leveraging Applications of Formal Methods Verification and Validation. Specialized Techniques and Applications
Produkt anzeigen
Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
Produkt anzeigen
Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
Produkt anzeigen
Formal Techniques for Networked and Distributed Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2003
Produkt anzeigen
Formal Techniques for Networked and Distributed Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Produkt anzeigen
Menü