Static analysis
: second international symposium ; proceedings / SAS '95, Glasgow, UK, September 25 - 27, 1995 / Alan Mycroft (ed.). - Berlin : Springer, 1995. - VIII, 421 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 983)
ISBN 978-3-540-60360-3 / 3-540-60360-3 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Static analysis
: 9th international symposium ; proceedings / SAS 2002, Madrid, Spain, September 17 - 20, 2002. M. V. Hermenegildo ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2477)
ISBN 978-3-540-45789-3
Lizenzpflichtig
Quelle: DNB
Static analysis
: 5th international symposium ; proceedings / SAS '98, Pisa, Italy, September 1998. Giorgio Levi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1503)
ISBN 978-3-540-49727-1
Lizenzpflichtig
Quelle: DNB
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
: 6th international symposium ; proceedings / SAS '99, Venice, Italy, September 1999. A. Cortesi ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1694)
ISBN 978-3-540-48294-9
Lizenzpflichtig
Quelle: DNB
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
