Mechanizing Proof: Computing, Risk, and Trust
Wydawca: MIT Press
Druk
EN
2004
Popularnonaukowe
Mechanizing Proof: Computing, Risk, and Trust A sociological approach to the history of proof, as applied to and performed by computer systems. Autor: Donald MacKenzie Wydawnictwo: MIT Press Rok wydania: 2004 Okładka: miękka Liczba stron: 440 Wymiary: 22.9 x 15.2 x 2.6 cm Język: angielski ISBN: 9780262632959
Aktualne ceny
Brak informacji o cenach
Historia cen (ostatnie 30 dni)
Brak historii cen