Static analysis
: 15th international symposium ; proceedings / SAS 2008, Valencia, Spain, July 16 - 18, 2008. María Alpuente ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5079)
ISBN 978-3-540-69166-2
Lizenzpflichtig
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
Static analysis
: 13th international symposium ; proceedings / SAS 2006, Seoul, Korea, August 29 - 31, 2006. Kwangkeun Yi (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4134)
ISBN 978-3-540-37758-0
Lizenzpflichtig
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
Static analysis
: proceedings / First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Baudouin LeCharlier (ed.). - Berlin : Springer, 1994. - XII, 463 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 864)
ISBN 978-3-540-58485-8 / 3-540-58485-4 kart. : DM 86.00
Literaturangaben
Quelle: DNB
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
Static analysis
: 4th international symposium ; proceedings / SAS '97, Paris, France, September 8 - 10, 1997. Pascal VanHentenryck (ed.). - Berlin : Springer, 1997. - X, 412 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1302)
ISBN 978-3-540-63468-3 / 3-540-63468-1 kart. : DM 90.00
Literaturangaben
Quelle: DNB
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
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
