Computer Aided VerificationWerner Damm
Computer Aided Verification
Werner Damm, Holger Hermanns · 2007
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2007
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540733683
מקור הנתונים: Wikidata
עוד של Werner Damm
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