Zum Inhalt springen Wasserrab, Daniel [Verfasser:in] From formal semantics to verified slicing : a modular framework with applications in language based security - [Print on demand] Bücher Online ansehen Schließen > Zugang ... zum E-Book (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2011 Wasserrab, Daniel [Verfasser:in] ; Snelting, G. [Akademische:r Betreuer:in] From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2011
Wasserrab, Daniel [Verfasser:in] From formal semantics to verified slicing : a modular framework with applications in language based security - [Print on demand] Bücher Online ansehen Schließen > Zugang ... zum E-Book (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2011
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wasserrab, Daniel [Verfasser:in] ; Snelting, G. [Akademische:r Betreuer:in] From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Karlsruhe: KIT Scientific Publishing, 2011
> Zugang ... zum E-Book via DOI ... zum E-Book via Resolving-System ... zum E-Book via Deutsche Nationalbibliothek
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Person/Institution Skip to next facet Wasserrab, Daniel (2) Wert ausschließen Snelting, G. (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Diss online (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen zeige weitere weniger zeigen