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: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe : KIT Scientific Publishing, 2011Edition: Print on demandDescription: Online-RessourceISBN:
  • 9783866446236
Subject(s): Genre/Form: Additional physical formats: Druckausg.: Deductive verification of object-oriented software. Karlsruhe : KIT Scientific Publishing, 2011. XXI, 269 S. | Druckausg.: Weiß, Benjamin: Deductive verification of object-oriented software DDC classification:
  • 005.14 22/ger
  • 005.131 22/ger
  • 005.117 22/ger
  • 004
Online resources: Notes: Anmerkungen: Elektronische RessourceNote: Hinweis: Elektronische RessourceDissertation note: Zugl.: Karlsruhe, KIT, Diss., 2010 PPN: PPN: 646609009Package identifier: Produktsigel: ZDB-296-TTN
No physical items for this record

Systemvoraussetzungen: Acrobat reader.

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

Powered by Koha