Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Grāmatas - Createspace - 9781468059106 - 2012. gada 23. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Implementing Mathematics with the Nuprl Proof Development System

Cena
€ 19,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 29. maijā - . gada 12. jūn.
Pievienot savam iMusic vēlmju sarakstam
Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2012. gada 23. janvāris
ISBN13 9781468059106
Izdevēji Createspace
Lapas 310
Izmēri 152 × 229 × 17 mm   ·   417 g

Skatīt visus R L Constable ( piem., Paperback Book )