Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Boeken - Createspace - 9781468059106 - 23 januari 2012
Indien omslag en titel niet overeenkomen, is de titel correct

Implementing Mathematics with the Nuprl Proof Development System

Prijs
€ 17,99

Besteld in een afgelegen magazijn

Verwachte levering 1 - 15 mei
Voeg toe aan uw iMusic-verlanglijst
Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 23 januari 2012
ISBN13 9781468059106
Uitgevers Createspace
Pagina's 310
Afmetingen 152 × 229 × 17 mm   ·   417 g