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 (2) Eigenschaften
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: 07-09-2026 06:01:06
Siehe Produktangebot
Gesponsert
Formal Methods for Real-Time and Probabilistic Systems
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:15
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

FME 2001: Formal Methods for Increasing Software Productivity
FME 2001: Formal Methods for Increasing Software Productivity
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)
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)
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)
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Produkt anzeigen
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science)
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science)
Produkt anzeigen
Menü