Dansk
Kundeservice
Saxo Neo
Log ind
Log ind
Opret profil
Indkøbskurv
Menu
Saxo Access
BookClub
Om os
Saxo Access virker bedst med Javascript slået til
Wiedijk, Freek
Vis søgefilter
Nulstil
Pris
Alle
< 20 kr
20 kr - 49 kr
50 kr - 99 kr
> 99 kr
Sprog
Alle
Engelsk
Dansk
tysk
spansk
fransk
Svensk
portugisisk
Dansk
italiensk
Forlag
Udgivelsesdato
Alle
Sidste uge
Sidste måned
Kommer snart
Format
Alle
E-bøger
Lydbøger
Sortering
Standard
Nyeste
Billigste
A-Z
Vis mig kun
BookClub ready
Types for Proofs and Programs
Wiedijk, Freek
436,85 DKK
Interactive Theorem Proving
Wiedijk, Freek
436,85 DKK
Intelligent Computer Mathematics
Wiedijk, Freek
436,85 DKK
Seventeen Provers of the World
Wiedijk, Freek
403,64 DKK
Dansk
