Semantics of specification languages
: (SoSL) ; proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993 / D. J. Andrews ... (ed.). Publ. in collab. with the British Computer Society. Universiteit Utrecht. - London : Springer, 1994. - VIII, 355 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19854-3 / 3-540-19854-7 kart. : DM 98.00
Literaturangaben
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