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

Implementing Mathematics with the Nuprl Proof Development System

Preis
€ 18,99

Bestellware

Lieferdatum: ca. 13. - 27. Jul
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