Titel | Art | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Action Semantics | Paperback | | 978-0-521-61933-2 | 2008 |
Action Semantics | Hardcover | | 978-0-521-40347-4 | 1992 |
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language | Taschenbuch | | 978-3-540-21301-7 | 2008 |
CASL User Manual: Introduction to Using the Common Algebraic Specification Language | " | | 978-3-540-20766-5 | 2008 | Michel Bidoit |
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. ... Notes in Computer Science , Band 915) | " | | 978-3-540-59293-8 | 1995 | Mogens Nielsen · Michael I. Schwartzbach |
Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase Aarhus, Denmark, May 22-26, 1995: Proceedin | Paperback | | 978-0-387-59293-0 | 1995 | Portugal) ETAPS 98 (1998 : Lisbon · Mogens Nielsen · Colloquium on Formal Approaches of Software Engineering · Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus · Michael I. Schwartzbach |
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, ... Notes in Computer Science , Band 1872) | Taschenbuch | | 978-3-540-67823-6 | 2008 | Osamu Watanabe · Masami Hagiya · Jan van Leeuwen · Takayasu Ito |