Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen /

Description

Zugl.: Augsburg, Universiẗat, Diss., 2008.

Links & Downloads

1. http://d-nb.info/989979873/04
2. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016655760&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/244628739
Date	January 2008
Creators	Grandy, Holger.
Publisher	Berlin : Logos-Verl.,
Source Sets	OCLC
Language	German
Detected Language	German