Services and visualization
: towards user-friendly design ; selected papers / ACOS '98 ... [ETAPS '98. IEEE Communication Society]. Tiziana Margaria ... (ed.). - Berlin : Springer, 1998. - XII, 322 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1385)
ISBN 978-3-540-64367-8 / 3-540-64367-2 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Bieler, Frank: Spezifikationsbasiertes Testen verteilter Systeme
/ Frank Bieler. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - XI, 205 S. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 231)
ISBN 978-3-486-23048-2 / 3-486-23048-4 kart. : ca. DM 57.00
Quelle: DNB
Andrews, Derek: A theory and practice of program development
/ Derek Andrews. - London : Springer, 1997. - XVII, 405 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76162-4 / 3-540-76162-4 kart. : DM 68.00
Quelle: DNB
D'Inverno, Mark: Understanding agent systems
/ Mark d'Inverno ; Michael Luck. - Berlin : Springer, 2001. - XVI, 191 S. : graph. Darst.; 24 cm - (Springer series on agent technology)
ISBN 978-3-540-41975-4 / 3-540-41975-6 Pp. : DM 85.90
Literaturverz. S. 181 - 188
Quelle: DNB
D'Inverno, Mark: Understanding agent systems
/ Mark d'Inverno ; Michael Luck. - 2. ed., rev. and extended - Berlin : Springer, 2004. - XVIII, 240 S. : graph. Darst.; 24 cm, 440 gr. - (Springer series on agent technology)
ISBN 978-3-540-40700-3 / 3-540-40700-6 Pp. : EUR 42.75 (freier Pr.), sfr 68.50
Literaturverz. S. 227 - 236
Quelle: DNB
Trescher, Joachim: Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme
/ Joachim Trescher. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1996. - X, 206 S. : graph. Darst. - (GMD-Bericht; Nr. 257)
ISBN 978-3-486-23839-6 / 3-486-23839-6 kart. : DM 60.00
Quelle: DNB
The Z formal specification notation
: proceedings / ZUM '98, 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998. Jonathan P. Bowen ... (ed.). - Berlin : Springer, 1998. - XV, 415 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1493)
ISBN 978-3-540-65070-6 / 3-540-65070-9 kart. : DM 90.00
Literaturangaben
Quelle: DNB
