Trustworthy global computing
: international symposium ; revised selected papers / TGC 2005, Edinburgh, UK, April 7 - 9, 2005. Rocco De Nicola ; Davide Sangiorgi (ed.). - Berlin : Springer, 2005. - VIII, 369 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3705)
ISBN 978-3-540-30007-6 / 3-540-30007-4 kart. : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Types for proofs and programs
: international workshop ; types '99, Lökeberg, Sweden, June 12 - 16, 1999 ; selected papers / Thierry Coquand ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1956)
ISBN 978-3-540-44557-9
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
: 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
Verification, model checking, and abstract interpretation
: 7th international conference ; proceedings / VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006. E. Allen Emerson ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3855)
ISBN 978-3-540-31622-0
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: 10th international conference ; proceedings / VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009. Neil D. Jones ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5403)
ISBN 978-3-540-93900-9
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: 8th international conference ; proceedings / VMCAI 2007 Nice, France, January 14 - 16, 2007. Byron Cook ; Andreas Podelski (ed.). - Berlin : Springer, 2007. - XI, 394 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4349)
ISBN 978-3-540-69735-0 / 3-540-69735-7 kart. : EUR 59.92 (freier Pr.), ca. sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.). Foreword by K. Rustan M. Leino. - Berlin : Springer, 2007. - XXIX, 658 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-68977-5 / 3-540-68977-X kart. : EUR 70.62 (freier Pr.), sfr 117.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.) .... - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69061-0
Lizenzpflichtig
Quelle: DNB
