Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Bücher - Createspace - 9781468059106 - 23. Januar 2012
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

R L Constable
Implementing Mathematics with the Nuprl Proof Development System

Preis
€ 18,99

Bestellware

Lieferdatum: ca. 13. - 27. Jul

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 23. Januar 2012
ISBN13 9781468059106
Verlag Createspace
Seitenanzahl 310
Maße 152 × 229 × 17 mm   ·   417 g

Alle Titel von R L Constable ansehen ( u. a. Taschenbuch )