Articles liés à Mechanizing Proof: Computing, Risk, and Trust
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Book by MacKenzie Donald
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurMIT Press
- Date d'édition2001
- ISBN 10 0262133938
- ISBN 13 9780262133937
- ReliureRelié
- Nombre de pages440
Acheter neuf
En savoir plus sur cette édition
EUR 62,54
Frais de port :
EUR 3,72
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Mechanizing Proof
Edité par
MIT Press
(2001)
ISBN 10 : 0262133938
ISBN 13 : 9780262133937
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. 450 1st Edition. N° de réf. du vendeur 2648005770
Acheter neuf
EUR 62,54
Autre devise
Image d'archives
Mechanizing Proof
Edité par
MIT Press
(2001)
ISBN 10 : 0262133938
ISBN 13 : 9780262133937
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Etat : New. pp. 450. N° de réf. du vendeur 44776789
Acheter neuf
EUR 66,02
Autre devise
Image d'archives
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Edité par
Mit Pr
(2001)
ISBN 10 : 0262133938
ISBN 13 : 9780262133937
Neuf
Couverture rigide
Quantité disponible : 1
Vendeur :
Evaluation vendeur
Description du livre Hardcover. Etat : new. New Copy. Customer Service Guaranteed. N° de réf. du vendeur think0262133938
Acheter neuf
EUR 110,72
Autre devise