*to main content*
*to side bar*
*to footer with external links*
Toggle navigation
*Your Account*
*Log Out*
*Institutional Login*
*language choice*
Language code
English
Deutsch
*no_js_warning*
*Catalog*
(1)
/ulbda/EDS/Advanced?type=AllFields&view=
*Article and more*
*bs_search_allfields*
*bs_search_allfields*
*bs_search_title*
*bs_search_author*
*bs_search_topic*
*Find*
*Advanced*
*Search History*
Formale Verifikation der Korre...
*Holdings*
*Result*:
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
*Saved in*:
*Title*:
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
/ Holger Grandy
*Author/editor-in-chief*:
Grandy, Holger
*Publication*:
Augsburg : Universität Augsburg, 2008
*Physical description scale*:
Online-Ressource
*Format*:
*eBook*
*Language*:
*ger*
*Additional information*
*Holdings*
*Description*
*Table of Contents*
*Staff View*
*Additional functions*
*Cite this*
*Email this*
*Export Record*
*Export to* *EndNote*
*Export to* *BibTeX*
*Add to favorites*
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen / Grandy, Holger
HEB36679082X
×
*Loading*...
