Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Knihy - Createspace - 9781468059106 - 23. januára 2012
V prípade, že obal a názov nesedia, platí názov

Implementing Mathematics with the Nuprl Proof Development System

Cena
€ 19,49

Objednané zo vzdialeného skladu

Očakávané doručenie 13. - 27. júl
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 23. januára 2012
ISBN13 9781468059106
Vydavatelia Createspace
Strany 310
Rozmery 152 × 229 × 17 mm   ·   417 g