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

Von:

Wasserrab, Daniel [aut]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Verlag: Karlsruhe : KIT Scientific Publishing, 2011Auflage: Print on demandBeschreibung: Online-RessourceISBN:

9783866445949

Schlagwörter: Genre/Form:

Andere physische Formen: 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-Klassifikation:

005.12028
005.14
005.131
005.12
004

DOI: DOI: 10.5445/KSP/1000020678Online-Ressourcen:

Volltext frei verfügbar

Hochschulschriftenvermerk: Zugl.: Karlsruhe, KIT, Diss., 2010 PPN: PPN: 65646626XPackage identifier: Produktsigel: GBV-ODiss | ZDB-296-TTN

Exemplare ( 0 )
Titelinformationen ( 1 )

Dieser Titel hat keine Exemplare

Systemvoraussetzungen: Acrobat reader.