Formalisieren und BeweisenDirk Siefkes

Formalisieren und Beweisen

Dirk Siefkes · 1992

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 1992
הוצאה: Vieweg+Teubner Verlag
מהדורות: 4
עמודים: 259
ISBN: 9783528147570

מקור הנתונים: 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

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

Büchi's monadic second order successor arithmeticDirk Siefkes

Büchi's monadic second order successor arithmetic

Dirk Siefkes · 1970