Algebraic methodology and software technology
: 7th international conference ; proceedings / AMAST '98, Amazonia, Brazil, January 1999. Armando M. Haeberer (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1548)
ISBN 978-3-540-49253-5
Lizenzpflichtig
Quelle: DNB
Forbrig, Peter: Introduction to programming by abstract data types
: with 53 examples, 59 exercises and CD-ROM / Peter Forbrig. - München : Fachbuchverl. Leipzig im Carl-Hanser-Verl., 2001. - 161 S. : Ill., graph. Darst.; 23 cm - (Informatik interaktiv)
ISBN 978-3-446-21782-9 / 3-446-21782-7 kart. : EUR 14.90
Quelle: DNB
Fokkink, Willem J.: Modelling distributed systems
: with 7 tables / Wan Fokkink. - Berlin : Springer, 2007. - VIII, 151 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 978-3-540-73937-1 / 3-540-73937-8 Pp. : EUR 53.45, ca. sfr 87.00 (freier Pr.)
Literaturverz. S. 143 - 148
Quelle: DNB Verlagsmeldungen
Recent trends in data type specification
: selected papers / 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995. Magne Haveraaen ... (ed.). - Berlin : Springer, 1996. - VIII, 550 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1130)
ISBN 978-3-540-61629-0 / 3-540-61629-2 kart. : DM 110.00
Literaturangaben
Quelle: DNB
Recent trends in data type specification
: selected papers / 9th Workshop on Specification of Abstract Data Types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Hartmut Ehrig ; Fernando Orejas (ed.). - Berlin : Springer, 1994. - VIII, 350 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 785)
ISBN 978-3-540-57867-3 / 3-540-57867-6 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Recent trends in data type specification
: selected papers / 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30 - June 3, 1994. Egidio Astesiano ... (ed.). - Berlin : Springer, 1995. - VIII, 523 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 906)
ISBN 978-3-540-59132-0 / 3-540-59132-X kart. : DM 102.00
Literaturangaben
Quelle: DNB
Recent trends in data type specification
: proceedings / 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990. H. Ehrig ... (ed.). - Berlin : Springer, 1991. - VIII, 379 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 534)
ISBN 978-3-540-54496-8 / 3-540-54496-8 kart. : DM 55.00
Literaturangaben
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
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
