- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Gerwin Klein"
-
Concrete Semantics
Tobias Nipkow, Gerwin Klein
- Livre broché | Anglais
- 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... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Concrete Semantics
Tobias Nipkow, Gerwin Klein
- Livre relié | Anglais
- 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... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,45 €Livraison sous 1 à 4 semaines
2 sur 2 résultat(s) affiché(s)