Suchfeld einblenden
Person Cousot, Patrick
2 Treffer
Seite < 1 >
Static analysis
: 8th international symposium ; proceedings / SAS 2001, Paris, France, July 16 - 18, 2001. P. Cousot (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2126)
ISBN 978-3-540-47764-8
Lizenzpflichtig
Quelle: DNB
Static analysis
: third international workshop ; proceedings / WSA '93, Padova, Italy, September 22 - 24, 1993. Patrick Cousot ... (ed.). - Berlin : Springer, 1993. - IX, 283 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 724)
ISBN 978-3-540-57264-0 / 3-540-57264-3 kart. : DM 58.00
Literaturangaben
Quelle: DNB
Seite < 1 >
