- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Resultaten voor "Tobias Nipkow"
-
Term Rewriting and All That
Tobias Nipkow, Franz Baader, Baader Franz
- Paperback | Engels
- This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic material--abstract r... Lees meer
€ 68,95Levering 1 à 2 weken€ 68,95Levering 1 à 2 weken -
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 -
Isabelle/Hol
Tobias Nipkow, Lawrence C Paulson, Markus Wenzel
- Paperback | Engels | Lecture Notes in Computer Science | nr. 2283
- This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with e... Lees meer
€ 58,45Levertermijn 1 à 4 weken€ 58,45Levertermijn 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 -
Term Rewriting and All That
Franz Baader, Tobias Nipkow
- Hardcover | Engels
- Unified and self-contained introduction to term-rewriting; suited for students or professionals. Lees meer
€ 70,95Verwachte leverdatum onbekend€ 70,95Verwachte leverdatum onbekend
5 van 5 resultaten getoond