Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Bøger - Createspace - 9781468059106 - 23. januar 2012
Ved uoverensstemmelse mellem cover og titel gælder titel

R L Constable
Implementing Mathematics with the Nuprl Proof Development System

Pris
DKK 161

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 16. sep.
Modtag notifikation om nye R L Constable udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 23. januar 2012
ISBN13 9781468059106
Forlag Createspace
Antal sider 310
Mål 152 × 229 × 17 mm   ·   417 g

Se alt med R L Constable