
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 Philippines address to shop on our Philippines store. Go to our United States store to continue.

Kobo empowers book lovers to read more.
Barbara Jobstmann, K. Rustan M. Leino
PHP3,228.89
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
PHP4,394.89
Harold Abelson, Gerald Jay Sussman, Martin Henz, Tobias Wrigstad, Julie Sussman
PHP3,325.89
Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott, James R. Meehan
PHP4,804.05
Arshad Iqbal
PHP307.38
or Free with Kobo Plus