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
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 )