Werner Damm
Werner Damm
3 ספרים במאגר
ספרים
Computer Aided VerificationWerner Damm
Computer Aided Verification
Werner Damm · 2007
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm · 2003
Entwurf und Verifikation mikroprogrammierter RechnerarchitekturenWerner Damm
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Werner Damm · 1987
ספרים משותפים ואוספים
ספרים שבהם Werner Damm מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.