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
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
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