KIT | KIT-Bibliothek | Impressum

Formale Methoden: Korrektheitsbeweise und praktische Sicherheit

Beth, Thomas; Gollmann, Dieter



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buch
Jahr 1990
Sprache Deutsch
Identifikator KITopen ID: 301990
Erscheinungsvermerk Karlsruhe 1990. (E.I.S.S.-Report, Universitaet Karlsruhe, Fak. f. Informatik. Nr. 1990,3.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page