hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Cousot, Radhia
2 Treffer
Seite < 1 >
Cover

Static analysis

: third international symposium ; proceedings / SAS '96, Aachen, Germany, September 24 - 26, 1996. Radhia Cousot ; David A. Schmidt (ed.). - Berlin : Springer, 1996. - IX, 388 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1145)

ISBN 978-3-540-61739-6 / 3-540-61739-6 kart. : DM 78.00

Literaturangaben

Quelle: DNB

Cover

Static analysis

: 10th international symposium ; proceedings / SAS 2003, San Diego, CA, USA, June 11 - 13, 2003. Radhia Cousot (ed.). - Berlin : Springer***5108985, 2003. - XIV, 505 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2694)

ISBN 978-3-540-40325-8 / 3-540-40325-6 kart. : EUR 66.34

Literaturangaben

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen
Advertorial