Recent trends in algebraic development techniques
: 12th international workshop ; selected papers / WADT '97, Tarquinia, Italy, June 3 - 7, 1997. Francesco Parisi Presicce (ed.). - Berlin : Springer, 1998. - VIII, 433 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1376)
ISBN 978-3-540-64299-2 / 3-540-64299-4 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Recent trends in algebraic development techniques
: 15th international workshop ; selected papers / WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001. Maura Cerioli ; Gianna Reggio (ed.). - Berlin : Springer, 2002. - X, 343 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2267)
ISBN 978-3-540-43159-6 / 3-540-43159-4 kart. : EUR 48.15
Literaturangaben
Quelle: DNB
Loeckx, Jacques: Specification of abstract data types
/ Jacques Loeckx ; Hans-Dieter Ehrich ; Markus Wolf. - Chichester : Wiley Teubner, 1996. - XI, 260 S.; 24 cm - (Wiley-Teubner computing)
ISBN 978-3-519-02115-5 / 3-519-02115-3 Pp. : DM 64.00
Literaturverz. S. 243 - 250
Quelle: DNB
