Mechanizing Proofthe_mit_press978-02-6263-295-997802626329592004-01-30English (United States)440SoftcoverBook profileEnglish (United States)
Book · 1 edition
Mechanizing Proof
- 2004
- first published
- English
- language
- 1
- edition in English
- 440
- pages
Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing....
Editions
1 edition · sort: newestMechanizing Proofthe_mit_press978-02-6263-295-997802626329592004-01-30English (United States)440Softcover