Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Mechanizing Proof: Computing, Risk, and Trust

-15% su kodu: ENG15
64,64 
Įprasta kaina: 76,05 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
64,64 
Įprasta kaina: 76,05 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 76.0500 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Informacija

Autorius: Donald Mackenzie
Leidėjas: MIT Press
Išleidimo metai: 2004
Knygos puslapių skaičius: 440
ISBN-10: 0262632950
ISBN-13: 9780262632959
Formatas: 229 x 152 x 24 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Mechanizing Proof: Computing, Risk, and Trust“

Būtina įvertinti prekę