Burghardt, Jochen: Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion
/ Jochen Burghardt. - München : Oldenbourg, 1993. - 246 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 212)
ISBN 978-3-486-22687-4 / 3-486-22687-8 kart. : DM 62.00
Quelle: DNB
Unifying theories of programming
: first international symposium ; revised selected papers / UTP 2006, Walworth Castle, County Durham, UK, February 5 - 7, 2006. Steve Dunne ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4010)
ISBN 978-3-540-34752-1
Lizenzpflichtig
Quelle: DNB