Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4421)
ISBN 978-3-540-71316-6
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Rocco De Nicola (ed.). - Berlin : Springer, 2007. - XVII, 538 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4421)
ISBN 978-3-540-71314-2 / 3-540-71314-X kart. : EUR 72.76 (freier Pr.), sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Programming languages and systems
: proceedings / 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Sophia Drossopoulou (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4960)
ISBN 978-3-540-78739-6
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
Verification, model checking, and abstract interpretation
: 4th international conference ; proceedings / VMCAI 2003, New York, NY, USA, January 9 - 11, 2002. Lenore D. Zuck ... (ed.). - Berlin : Springer, 2003. - XI, 323 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2575)
ISBN 978-3-540-00348-9 / 3-540-00348-7 kart. : EUR 47.08
Literaturangaben
Quelle: DNB
Verification, model checking, and abstract interpretation
: 4th international conference ; proceedings / VMCAI 2003, New York, NY, USA, January 9 - 11, 2002. L. D. Zuck ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2575)
ISBN 978-3-540-36384-2
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: 5th international conference ; proceedings / VMCAI 2004, Venice, January 11 - 13, 2004. Bernhard Steffen ; Giorgio Levi (ed.). - Berlin : Springer, 2004. - XI, 324 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2937)
ISBN 978-3-540-20803-7 / 3-540-20803-8 kart. : EUR 49.22 (freier Pr.), sfr 79.00
Literaturangaben
Quelle: DNB
Verification, model checking, and abstract interpretation
: 5th international conference ; proceedings / VMCAI 2004, Venice, January 11 - 13, 2004. Bernhard Steffen ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2937)
ISBN 978-3-540-24622-0
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: third international workshop ; revised papers / VMCAI 2002, Venice, Italy, January 21 - 22, 2002. A. Cortesi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2294)
ISBN 978-3-540-47813-3
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: 8th international conference ; proceedings / VMCAI 2008, San Francisco, USA, January 7 - 9, 2008. Francesco Logozzo ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4905)
ISBN 978-3-540-78163-9
Lizenzpflichtig
Quelle: DNB
