SPIN model checking and software verification ; proceedings
/ 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Klaus Havelund ... (ed.). - Berlin : Springer, 2000. - X, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1885)
ISBN 978-3-540-41030-0 / 3-540-41030-9 kart. : DM 90.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
: 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
: 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
Tools and algorithms for the construction and analysis of systems
: 10th international conference ; proceedings / TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2988)
ISBN 978-3-540-24730-2
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 10th international conference ; proceedings / TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ; Andreas Podelski (ed.). - Berlin : Springer, 2004. - XIV, 608 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2988)
ISBN 978-3-540-21299-7 / 3-540-21299-X kart. : EUR 77.04, sfr 127.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tools and algorithms for the construction and analysis of systems
: 12th international conference ; proceedings / TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Holger Hermanns ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3920)
ISBN 978-3-540-33057-8
Lizenzpflichtig
Quelle: DNB
