Mechanizing Proof. Computing, Risk And Trust

Name: Mechanizing Proof. Computing, Risk And Trust
Price: 39.9 EUR
Availability: InStock
Author: Donald Mackenzie
ISBN: 0-262-13393-8

Par : Donald Mackenzie

Formats :

39,90 €

Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 1 octobre
  Cet article sera commandé chez un fournisseur et vous sera envoyé 25 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit