Titel: Verification of Object-Oriented Software. The KeY Approach

Titel:

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Beteiligt:

Beckert, Bernhard (Herausgeber); Hähnle, Reiner (Herausgeber); Schmitt, Peter H (Herausgeber)

Ausgabe:

1st ed. 2007

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XXIX, 658 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 4334

Andere Ausgaben:

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

Schlagworte:

ISBN:

9783540690610 ; 3540690611 ; 9783540689775 (Sekundärausgabe) ; 9783540834335 (Sekundärausgabe)

DOI:

10.1007/978-3-540-69061-0

Treffer: Verification of Object-Oriented Software. The KeY Approach

Zusatz-Informationen

Zusatz-Funktionen