Tobias Nipkow
Boeken van Tobias Nipkow
-
- Engels
- Paperback
- 9780521779203
- 05 augustus 1999
- 316 pagina's
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers…
Prijsinformatie en bestellen
De prijs van dit product is 61 euro en 99 cent.2 - 3 wekenLevertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bolEbook 52,00
-
With Isabelle/HOL
- Engels
- Hardcover
- 9783319105413
- 15 december 2014
- 298 pagina's
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described…
Prijsinformatie en bestellen
De prijs van dit product is 81 euro.2 - 3 wekenLevertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bol
Lijst met gekozen artikelen om te vergelijken
- Waar wil je dit mee vergelijken? Je kan in totaal vier artikelen kiezen. Er is nog plaats voor andere artikelen. ander artikel.