Formale Methoden und kleine SystemeDirk Siefkes
Formale Methoden und kleine Systeme
Dirk Siefkes · 2012
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2012
- הוצאה
- Vieweg+Teubner Verlag
- מהדורות
- 1
- עמודים
- 204
- ISBN
- 9783528051990
מקור הנתונים: Wikidata
עוד של Dirk Siefkes
Pioniere der InformatikDirk Siefkes
Pioniere der Informatik
Dirk Siefkes · 1998
Formalisieren und BeweisenDirk Siefkes
Formalisieren und Beweisen
Dirk Siefkes · 1992
Formale Methoden und kleine SystemeDirk Siefkes
Formale Methoden und kleine Systeme
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