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: BuchBuchSprache: Englisch Verlag: Karlsruhe : KIT Scientific Publishing, 2011Beschreibung: XIX, 203 S. : graph. DarstISBN:

9783866445949

Schlagwörter:

Genre/Form:

Andere physische Formen: Online-Ausg.: Wasserrab, Daniel: From formal semantics to verified slicing | Erscheint auch als: From formal semantics to verified slicing. Online-Ausgabe Print on demand. Karlsruhe : KIT Scientific Publishing, 2011. Online-RessourceDDC-Klassifikation:

005.12028
005.14
005.131
005.12
004

Bearbeitungsvermerk:

2
Archivierung/Langzeitarchivierung gewährleistet DISS

Hochschulschriftenvermerk: Zugl.: Karlsruhe, KIT, Diss., 2010 Call number: Grundsignatur: 2011 A 1834PPN: PPN: 656457740

Exemplare ( 1 )
Titelinformationen ( 3 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Status	Barcode
Freihandbestand ausleihbar	Bibliothek Campus Süd	inf 11	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	2011 A 1834	Verfügbar	50672742090

Anzahl Vormerkungen: 0

Mit dt. Zsfassung

Archivierung prüfen 20231104 DE-640 2 pdager

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90