booktheque

Formalisieren und Beweisen

Dirk Siefkes · 1992

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 Amazon

Book details

Year
1992
Publisher
Vieweg+Teubner Verlag
Editions
4
Pages
259
ISBN
9783528147570

Data source: Wikidata

More by Dirk Siefkes

Formale Methoden und kleine Systeme
Dirk Siefkes · 2012
Pioniere der Informatik
Dirk Siefkes · 1998
Formale Methoden und kleine Systeme
Dirk Siefkes · 1992
Gi-4.Jahrestagung
Dirk Siefkes · 1975
Sozialgeschichte der Informatik
Dirk Siefkes · 2013
Büchi's monadic second order successor arithmetic
Dirk Siefkes · 1970