Nielson, Flemming: Principles of program analysis
: with 51 tables / Flemming Nielson ; Hanne Riis Nielson ; Chris Hankin. - Berlin : Springer, 1999. - XXI, 450 S. : graph. Darst.; 24 cm
ISBN 978-3-540-65410-0 / 3-540-65410-0 Pp. : DM 79.00
Literaturverz. S. 437 - 450
Quelle: DNB
Programming languages and systems
: proceedings / ESOP '96, 6th European Symposium on Programming, Linköping, Sweden, April 22 - 24, 1996. Hanne Riis Nielson (ed.). - Berlin : Springer, 1996. - X, 403 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1058)
ISBN 978-3-540-61055-7 / 3-540-61055-3 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Static analysis
: 14th international symposium ; proceedings / SAS 2007, Kongens Lyngby, Denmark, August 22 - 24, 2007. Hanne Riis Nielson ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4634)
ISBN 978-3-540-74061-2
Lizenzpflichtig
Quelle: DNB
