Prijava
Skrita polja
Knjige
Moja knjižnica
Pomoč
Napredno iskanje knjig
Priskrbite si knjigo v tiskani izdaji
Na voljo ni nobena e-knjiga
The MIT Press
Poiščite jo v knjižnici
Vsi prodajalci
»
Mechanizing Proof: Computing, Risk, and Trust
Po avtorjih Donald MacKenzie
O knjigi
Strani so prikazane z dovoljenjem založnika
MIT Press
.
Avtorske pravice
.
Sprednja platnica