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 AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
1997.
7. Mai 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10548741,978-3-540-63010-4
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
1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
1996.
29. Mai 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61317-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
