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

Kobo empowers book lovers to read more.
Barbara Jobstmann, K. Rustan M. Leino
RM 208.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
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
Arshad Iqbal
RM 19.84
or Free with Kobo Plus