Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Böcker - Createspace - 9781468059106 - 23 januari 2012
Om omslag och titel inte matchar är det titeln som gäller

R L Constable
Implementing Mathematics with the Nuprl Proof Development System

Pris
SEK 199

Beställningsvara

Förväntad leverans 1 - 15 jul

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller
Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 23 januari 2012
ISBN13 9781468059106
Utgivare Createspace
Antal sidor 310
Mått 152 × 229 × 17 mm   ·   417 g

Se alt med R L Constable ( t.ex. Pocketbok )