Umfang:
XVIII, 329 S. :
,
graph. Darst. ;
,
24 cm.
ISBN:
978-3-8325-1597-3
Anmerkung:
Zugl.: Augsburg, Univ., Diss., 2006
Sprache:
Deutsch
Fachgebiete:
Informatik
Schlagwort(e):
Chipkarte
;
Datensicherung
;
Sicherheitsprotokoll
;
UML
;
Verifikation
;
Formale Methode
;
Hochschulschrift
;
Hochschulschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016072399&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Mehr zum Autor:
Haneberg, Dominik 1975-