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
CASL user manual
: introduction to using the common algebraic specification language / Michel Bidoit .... - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2900)
ISBN 978-3-540-44397-1
Lizenzpflichtig
Quelle: DNB