Formale Methoden und kleine SystemeDirk Siefkes

Formale Methoden und kleine Systeme
Dirk Siefkes · 2012
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2012
- Publisher
- Vieweg+Teubner Verlag
- Editions
- 1
- Pages
- 204
- ISBN
- 9783528051990
Data source: Wikidata
More by 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