Fortell venner om denne varen:
Implementing Mathematics with the Nuprl Proof Development System R L Constable
Pris
NOK 199
Bestillingsvarer
Forventes levert 9. - 23. jul
Legg til iMusic ønskeliste
eller
Implementing Mathematics with the Nuprl Proof Development System
R L Constable
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 23. januar 2012 |
| ISBN13 | 9781468059106 |
| Utgivere | Createspace |
| Antall sider | 310 |
| Mål | 152 × 229 × 17 mm · 417 g |
Se alt med R L Constable ( f.eks. Pocketbok )