Broschiertes Buch
1991.
27. November 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54947-5
Gebundenes Buch
Introduction to Compositional and Non-Compositional Methods
10. August 2011
Cambridge University Press
Ähnliche Artikel
Broschiertes Buch
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
1999.
12. Mai 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704800,978-3-540-66010-1
Broschiertes Buch
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
1998.
18. März 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10632045,978-3-540-64356-2
Broschiertes Buch
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
1991.
11. Dezember 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55092-1
Broschiertes Buch
5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
1998.
2. September 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10638813,978-3-540-65003-4
Broschiertes Buch
6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
1997.
1. Dezember 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10652702,978-3-540-63888-9
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
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
1996.
21. August 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61648-1
Broschiertes Buch
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
2007
6. September 2007
Springer, Berlin
12164615
Broschiertes Buch
REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
1991.
24. Juni 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55564-3
Broschiertes Buch
Incremental Modeling of Dynamic Behaviors
Softcover reprint of hardcover 1st edition 2005
21. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-06237-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON
