Custom cover image
Custom cover image

From formal semantics to verified slicing : a modular framework with applications in language based security / by Daniel Wasserrab

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe : KIT Scientific Publishing, 2011Edition: Print on demandDescription: Online-RessourceISBN:
  • 9783866445949
Subject(s): Genre/Form: Additional physical formats: Druckausg.: From formal semantics to verified slicing. Karlsruhe : KIT Scientific Publishing, 2011. XIX, 203 S. | Druckausg.: Wasserrab, Daniel: From formal semantics to verified slicing DDC classification:
  • 005.12028
  • 005.14
  • 005.131
  • 005.12
  • 004
DOI: DOI: 10.5445/KSP/1000020678Online resources: Dissertation note: Zugl.: Karlsruhe, KIT, Diss., 2010 PPN: PPN: 65646626XPackage identifier: Produktsigel: GBV-ODiss | 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