Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science, 1601, Band 1601)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Methods for Real-Time and Probabilistic Systems
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 11:58:19
Siehe Produktangebot
Gesponsert
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science, 1601, Band 1601)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 22:17:06
Siehe Produktangebot
Gesponsert
Formal Methods for Real-Time and Probabilistic Systems
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:05
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540660100
MPN
Springer Berlin Heidelberg 6956543

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Aus48.99 EUR 4
Produkt anzeigen
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7542)
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7542)
Aus53.49 EUR 4
Produkt anzeigen
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, 3185, Band 3185)
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, 3185, Band 3185)
Aus53.49 EUR 3
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, Band 7437)
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, Band 7437)
Aus48.99 EUR 3
Produkt anzeigen
Menü