
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 Malaysia address to shop on our Malaysia 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
RM 293.39
Harold Abelson, Gerald Jay Sussman, Martin Henz, Tobias Wrigstad, Julie Sussman
RM 214.79
Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott, James R. Meehan
RM 310.15
Barbara Jobstmann, K. Rustan M. Leino
RM 208.49
Be the first to rate and review this book!