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 / 7th European Symposium on Programming, ESOP '98, ... Lisbon, Portugal, March/April 1998. C. Hankin (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1381)
ISBN 978-3-540-69722-0
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Chris Hankin (ed.). - Berlin : Springer, 1998. - X, 281 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1381)
ISBN 978-3-540-64302-9 / 3-540-64302-8 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Static analysis
: 12th international symposium ; proceedings / SAS 2005, London, UK, September 7 - 9, 2005. Chris Hankin ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3672)
ISBN 978-3-540-31971-9
Lizenzpflichtig
Quelle: DNB
