Broschiertes Buch
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
1994.
7. September 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58468-1
Broschiertes Buch
Volume I · Part b
Softcover reprint of the original 1st ed. 1967
23. August 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-86939-6
Broschiertes Buch
München, 9.¿11. März 1971
1972.
30. Oktober 1972
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-06051-2
Broschiertes Buch
Eine interdisziplinäre Bibliographie
1994.
1994
Helmer
Broschiertes Buch
International Symposium, COMPOS¿97 Bad Malente, Germany, September 8¿12, 1997 Revised Lectures
1998.
18. Dezember 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10692972,978-3-540-65493-3
Broschiertes Buch
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
1990.
4. April 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-52513-4
Broschiertes Buch
Specifying and Programming the Steam Boiler Control
1996.
30. Oktober 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61929-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON