Return to search

Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen /

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

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/244628739
Date January 2008
CreatorsGrandy, Holger.
PublisherBerlin : Logos-Verl.,
Source SetsOCLC
LanguageGerman
Detected LanguageGerman

Page generated in 0.0018 seconds