Algebraic system specification and development

: a survey and annotated bibliography / M. Bidoit ... (ed.). - Berlin : Springer, 1991. - VIII, 98 S.; 24 cm - (Lecture notes in computer science; 501)

ISBN 978-3-540-54060-1 / 3-540-54060-1 kart. : DM 29.50

Literaturverz. S. 59 - 98

Quelle: DNB

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

Recent trends in data type specification

: selected papers / 8th Workshop on Specification of Abstract Data Types joint with the 3rd Compass Workshop, Dourdan, France, August 26 - 30, 1991. M. Bidoit ; C. Choppy (ed.). - Berlin : Springer, 1993. - X, 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 655)

ISBN 978-3-540-56379-2 / 3-540-56379-2 kart. : DM 72.00

Literaturangaben

Quelle: DNB

Theory and practice of software development

: proceedings / TAPSOFT '97, 7th International Joint Conference CAAP/FASE Lille, France, April 14 - 18, 1997. Michel Bidoit ; Mac Dauchet (ed.). - Berlin : Springer, 1997. - XVI, 884 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1214)

ISBN 978-3-540-62781-4 / 3-540-62781-2 kart. : DM 162.00

Literaturangaben

Quelle: DNB