Go to Main Content
Purdue Self-Service
HELP
|
EXIT
Textbook Information
The following is a list of required and optional materials for this course. This information is subject to change.
Programming Languages - 10474 - CS 56500 - Lecture
OPTIONAL TEXTBOOK
:
ISBN
: 9780262546232 -- Program Proofs
Author
: K. Rustan M. Leino
Publisher
: MIT Press
Edition/Year
:2023
Check Purdue University Library Holdings
Skip to top of page
© 2024 Ellucian Company L.P. and its affiliates.