Formale Methoden und kleine SystemeDirk Siefkes
Formale Methoden und kleine Systeme
Dirk Siefkes · 1992
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1992
- שפה
- German
- סדרה
- Theorie der Informatik
- הוצאה
- Vieweg+Teubner Verlag
- מהדורות
- 1
- ISBN
- 9783322849236
מקור הנתונים: Wikidata
עוד של Dirk Siefkes
Formale Methoden und kleine SystemeDirk Siefkes
Formale Methoden und kleine Systeme
Dirk Siefkes · 2012
Pioniere der InformatikDirk Siefkes
Pioniere der Informatik
Dirk Siefkes · 1998
Formalisieren und BeweisenDirk Siefkes
Formalisieren und Beweisen
Dirk Siefkes · 1992
Gi-4.JahrestagungDirk Siefkes
Gi-4.Jahrestagung
Dirk Siefkes · 1975
Sozialgeschichte der InformatikDirk Siefkes
Sozialgeschichte der Informatik
Dirk Siefkes · 2013
Büchi's monadic second order successor arithmeticDirk Siefkes
Büchi's monadic second order successor arithmetic
Dirk Siefkes · 1970