
Program Proofs
Synopsis
About this book
- Language:English
- ISBN:9780262375429
- Release date:Mar 7, 2023
- Publisher:MIT Press
- Imprint:The MIT Press
- File format:EPUB3
- File size:3.11 MB
- Download options:EPUB3 (Adobe DRM)
Looks like you're in United States. You need a Hong Kong address to shop on our Hong Kong store. Go to our United States store to continue.

Kobo empowers book lovers to read more.
Toby J. Teorey, Stephen Buxton, Lowell Fryman, Terry Halpin, Jan L. Harrington, William H. Inmon, Sam S. Lightstone, Jim Melton, Tony Morgan, Thomas P. Nadeau, Bonnie O'Neil, Elizabeth O'Neil, Patrick O'Neil, Markus Schneider, Graeme Simsion, Graham Witt, Ralf Hartmut Güting
$577.29
Harold Abelson, Gerald Jay Sussman, Martin Henz, Tobias Wrigstad, Julie Sussman
$422.89
Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott, James R. Meehan
$610.73
Barbara Jobstmann, K. Rustan M. Leino
$410.49
Be the first to rate and review this book!