CASL reference manual
: the complete documentation of the common algebraic specification language / Peter D. Mosses (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2960)
ISBN 978-3-540-24648-0
Lizenzpflichtig
Quelle: DNB
CASL reference manual
: the complete documentation of the common algebraic specification language / Peter D. Mosses (ed.). - Berlin : Springer, 2004. - XVII, 528 S.; 24 cm - (Lecture notes in computer science; Vol. 2960)
ISBN 978-3-540-21301-7 / 3-540-21301-5 kart. : EUR 87.74, sfr 139.00
Literaturverz. S. 487 - 490
Quelle: DNB Verlagsmeldungen
Bidoit, Michel: CASL user manual
: introduction to using the common algebraic specification language ; [tutorial] / Michel Bidoit : Peter D. Mosses. With chapters by Till Mossakowski .... - Berlin : Springer, 2004. - XIII, 240 S.; 24 cm - (Lecture notes in computer science; Vol. 2900)
ISBN 978-3-540-20766-5 / 3-540-20766-X kart. : EUR 55.64 (freier Pr.), sfr 89.50
Literaturverz. S. 221 - 223
Quelle: DNB Verlagsmeldungen
Theory and practice of software development
: proceedings / TAPSOFT '95, 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22 - 26, 1995. Peter D. Mosses ... (ed.). - Berlin : Springer, 1995. - XV, 810 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 915)
ISBN 978-3-540-59293-8 / 3-540-59293-8 kart. : DM 148.00
Literaturangaben
Quelle: DNB