
Program Proofs
Synopsis
About this book
- Language:English
- ISBN:9780262375429
- Release date:Jun 29, 2022
- 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 Worldwide address to shop on our Worldwide store. Go to our United States store to continue.

Kobo empowers book lovers to read more.
Barbara Jobstmann, K. Rustan M. Leino
$52.49
Be the first to rate and review this book!
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
$73.79
Harold Abelson, Gerald Jay Sussman, Martin Henz, Tobias Wrigstad, Julie Sussman
$53.99
Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott, James R. Meehan
$77.99