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
€ 18,49

Besteld in een afgelegen magazijn

Verwachte levering 29 mei - 12 jun.
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