Automated reasoning with analytic tableaux and related methods
: international conference, tableaux 2005, Koblenz, Germany, September 14 - 17, 2005 ; proceedings / Bernhard Beckert (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; Vol. 3702 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31822-4
Lizenzpflichtig
Quelle: DNB
Tests and proofs
: second international conference ; proceedings / TAP 2008, Prato, Italy, April 9 - 11, 2008. Bernhard Beckert ; Reiner Hähnle (ed.). - Berlin : Springer, 2008. - X, 191 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4966)
ISBN 978-3-540-79123-2 kart. : EUR 44.94 (freier Pr.), ca. sfr 73.50 (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
