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

By:

Wasserrab, Daniel [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Karlsruhe : KIT Scientific Publishing, 2011Description: XIX, 203 S. : graph. DarstISBN:

9783866445949

Subject(s):

Genre/Form:

Additional physical formats: 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 classification:

005.12028
005.14
005.131
005.12
004

Action note:

2
Archivierung/Langzeitarchivierung gewährleistet DISS

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

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Bibliothek Campus Süd	inf 11	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	2011 A 1834	Available	50672742090

Total holds: 0

Mit dt. Zsfassung

Archivierung prüfen 20231104 DE-640 2 pdager

Archivierung/Langzeitarchivierung gewährleistet DISS pdager DE-90

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)