Algebraic methodology and software technology
: proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21 - 25 June 1993 / (AMAST '93). M. Nivat ... (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1994. - XIV, 416 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19852-9 / 3-540-19852-0 kart. : DM 110.00
Literaturangaben
Quelle: DNB
Foundations of software science and computation structures
: first international conference ; proceedings / FoSSaCS '98 ..., Lisbon, Portugal, March/April 1998. M. Nivat (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1378)
ISBN 978-3-540-69720-6
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computation structures
: first international conference ; proceedings / FoSSaCS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Maurice Nivat (ed.). - Berlin : Springer, 1998. - X, 287 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1378)
ISBN 978-3-540-64300-5 / 3-540-64300-1 kart. : DM 66.00
Literaturangaben
Quelle: DNB
