Onze Vivlio e-readers ondervinden momenteel synchronisatieproblemen. We doen er alles aan om dit zo snel mogelijk op te lossen. Onze excuses voor het ongemak!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Onze Vivlio e-readers ondervinden momenteel synchronisatieproblemen. We doen er alles aan om dit zo snel mogelijk op te lossen. Onze excuses voor het ongemak!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Resultaten voor "Gerwin Klein"
-
Concrete Semantics
Tobias Nipkow, Gerwin Klein
- Paperback | Engels
- Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and indu... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Concrete Semantics
Tobias Nipkow, Gerwin Klein
- Hardcover | Engels
- Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and indu... Lees meer
€ 79,45Levertermijn 1 à 4 weken€ 79,45Levertermijn 1 à 4 weken
2 van 2 resultaten getoond