Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Kirjat - Createspace - 9781468059106 - maanantai 23. tammikuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

R L Constable
Implementing Mathematics with the Nuprl Proof Development System

Hinta
€ 19,49

Tilattu etävarastosta

Arvioitu toimitus ma 15. - 29. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai
Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 23. tammikuuta 2012
ISBN13 9781468059106
Tuottaja Createspace
Sivujen määrä 310
Mitta 152 × 229 × 17 mm   ·   417 g

Katso kaikki joka sisältää R L Constable ( Esim. Paperback Book )