Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Deductive Software Verificatio...
  • Bestand

Treffer: Deductive Software Verification – The KeY Book

Titel:
Deductive Software Verification – The KeY Book : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Beteiligt:
Ahrendt, Wolfgang (Herausgeber) ; Beckert, Bernhard (Herausgeber) ; Bubel, Richard (Herausgeber); Hähnle, Reiner (Herausgeber); Schmitt, Peter H (Herausgeber); Ulbrich, Mattias (Herausgeber)
Ausgabe:
1st ed. 2016
Veröffent­licht:
Cham : Springer International Publishing, 2016
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XXXII, 702 Seiten) : 110 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Programming and Software Engineering, ISSN 2945-9168 ; 10001
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Deductive Software Verification – The KeY Book. - Cham : Springer International Publishing, 2016. - ISBN 9783319498119
ISBN:
9783319498126 ; 3319498126 ; 9783319498119 (Sekundärausgabe) ; 9783319498133 (Sekundärausgabe)
DOI:
10.1007/978-3-319-49812-6

Zusatz-Informationen

Zusatz-Funktionen