Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker.
Saved in:
| Published: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
1980.
|
|---|---|
| Main Author: | |
| Subjects: | |
| Format: | Book |
EPS Library, Level 2
|
Call Number
Copy
Loan Type
Status
Request
|
|||||
