Broschiertes Buch
A Survey and Annotated Bibliography
1991.
26. Juni 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54060-1
Broschiertes Buch
Introduction to Using the Common Algebraic Specification Language
2004
29. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20766-5
| eBook, PDF | 40,95 € |
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
Broschiertes Buch
Model-Checking Techniques and Tools
Softcover reprint of hardcover 1st ed. 2001
15. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-07478-3
| eBook, PDF | 105,95 € |
Ähnliche Artikel
Gebundenes Buch
2012
30. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
80027790,978-3-642-17335-6
Broschiertes Buch
Module Specifications and Constraints
Softcover reprint of the original 1st ed. 1990
8. Oktober 2011
Springer, Berlin
Broschiertes Buch
Softcover reprint of the original 1st ed. 1999
21. Oktober 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-64151-0
Broschiertes Buch
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
2009
28. August 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12750504,978-3-642-04163-1
Broschiertes Buch
Equations and Initial Semantics
Softcover reprint of the original 1st ed. 1985
23. November 2011
Springer, Berlin
Broschiertes Buch
An Introduction
Softcover reprint of the original 1st ed. 1989
21. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-75032-8
Broschiertes Buch
12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
1998.
11. März 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10631942,978-3-540-64299-2
Broschiertes Buch
5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
1996.
19. Juni 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61463-0
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
