Dove Siamo Come Ordinare Hoepli Editore Dizionari Online Hoepli Test Hoepli Scuola Blog Libri Manuali Hoepli Lo Scaffale Segreto
 
  Ricerca Avanzata >>  
Clicca qui per tornare indietro Cerca i libri per argomento
mackenzie donald a. - mechanizing proof

Mechanizing Proof

Computing, Risk, and Trust



Disponibilità: Normalmente disponibile in 20 giorni


Genere: Libro
Lingua: Inglese
Editore: Mit Pr
Pubblicazione: 03/2004

Prezzo: € 32,98

NICEPRICE
€ 28,03
SCONTO
15%
 
Aggiungi al carrello


Spedizione Gratuita
con corriere veloce oltre i 29€

Aggiungi al carrello Segnala ad un amico Aggiungi il Libro alla tua lista dei desideri Segnala ad un amico
condividi su


Trama
A sociological approach to the history of proof, as applied to and performed by computer systems.
Altre Informazioni
ISBN: 9780262632959
Collana: Inside Technology
Dimensioni: 8.50 x 5.50 x 1.00 inch.
Formato: Paperback
Pagine Arabe: 440


carrello

Registrati per acquistare e ricevere news
Email
Password
Effettua il Log-In





Metodi di pagamento
Visa Verified by Visa Mastercard Mastercard Secure code PayPal Visa Electon Postepay American Express
Spedizioni con:
Gls Sda
La libreria italiana online Booxshop.it
Copyright © 2001-2010 - HOEPLI S.p.A., Via U. Hoepli 5, 20121 Milano - Italy
Motore di Ricerca, DataBase, Immagini by HOEPLI.it
La libreria italiana online Verisign