Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Livres - Createspace - 9781468059106 - 23 janvier 2012
Si la couverture et le titre ne correspondent pas, le titre est correct.

R L Constable
Implementing Mathematics with the Nuprl Proof Development System

Prix
€ 18,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 22 juil.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Ikke bedømt endnu

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 23 janvier 2012
ISBN13 9781468059106
Éditeurs Createspace
Pages 310
Dimensions 152 × 229 × 17 mm   ·   417 g

Voir tous les R L Constable ( par ex. Paperback Book )