• Verification of Object-Oriente...

*Result*: Verification of Object-Oriented Software. The KeY Approach

*Title*:
Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
*Author/editor-in-chief*:
Beckert, Bernhard (Herausgeber); Hähnle, Reiner (Herausgeber); Schmitt, Peter H (Herausgeber)
*Edition*:
1st ed. 2007
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XXIX, 658 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 4334
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Verification of Object-Oriented Software. The KeY Approach. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540689775
*RVK-Notation*:
*ST 231* *SS 4000*
*Subject Added Keywords*:
*ISBN*:
9783540690610 ; 3540690611 ; 9783540689775 (Sekundärausgabe) ; 9783540834335 (Sekundärausgabe)
*DOI*:
10.1007/978-3-540-69061-0

*Additional information*

*Additional functions*