Custom cover image
Custom cover image

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction / by Benjamin Weiß

By: Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Karlsruhe : KIT Scientific Publishing, 2011Description: XXI, 269 SISBN:
  • 9783866446236
Subject(s): Genre/Form: Additional physical formats: Online-Ausg.: Weiß, Benjamin: Deductive verification of object-oriented software | Erscheint auch als: Deductive verification of object-oriented software. Online-Ausgabe Print on demand. Karlsruhe : KIT Scientific Publishing, 2011. Online-RessourceDDC classification:
  • 005.14 22/ger
  • 005.117 22/ger
  • 005.131 22/ger
  • 004
Action note:
  • 2
Dissertation note: Zugl.: Karlsruhe, KIT, Diss., 2010 Call number: Grundsignatur: 2011 A 888PPN: PPN: 646599992
Holdings
Item type Home library Collection Shelving location Call number Status Date due Barcode Item holds
Freihandbestand ausleihbar Bibliothek Campus Süd inf 11 Lesesaal Wirtschaftswissenschaften und Informatik (LSW) 2011 A 888 Available 50673041090
Total holds: 0

Archivierung prüfen 20221111 DE-640 2 pdager

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha