Broschiertes Buch
8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
1993.
29. Januar 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56379-2
Ähnliche Artikel
Broschiertes Buch
9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers
1994
28. April 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57867-3
Broschiertes Buch
10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
1995.
21. April 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-59132-0
Broschiertes Buch
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
1991.
11. September 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54496-8
Broschiertes Buch
Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
1988.
26. Oktober 1988
Springer, Berlin
Broschiertes Buch
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
1st ed. 2015
2. Dezember 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-25422-7
Broschiertes Buch
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
2004
22. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11323723,978-3-540-23135-6
Broschiertes Buch
9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
2008
4. Juli 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12324385,978-3-540-70593-2
Broschiertes Buch
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
1st ed. 2017
8. Dezember 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-72043-2
Broschiertes Buch
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
2005
7. April 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25559-8
Ähnlichkeitssuche: Fact®Finder von OMIKRON
