Proof and System-ReliabilityHelmut Schwichtenberg
Proof and System-Reliability
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2012
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- ISBN
- 9789401004138
מקור הנתונים: Wikidata
עוד של Helmut Schwichtenberg
Computer science logicHelmut Schwichtenberg

Computer science logic
Helmut Schwichtenberg · 2000
Logic of ComputationHelmut Schwichtenberg

Logic of Computation
Helmut Schwichtenberg · 1997
Proof and ComputationHelmut Schwichtenberg

Proof and Computation
Helmut Schwichtenberg · 2018
Proofs and Computations (Perspectives in Logic)Helmut Schwichtenberg

Proofs and Computations (Perspectives in Logic)
Helmut Schwichtenberg · 2012
Proofs and ComputationsHelmut Schwichtenberg
Proofs and Computations
Helmut Schwichtenberg · 2012