On lattice theory and program semantics
- Imprint
- 1993.
Online
Available online
At the library
SAL3 (off-campus storage)
Stacks
Request (opens in new tab)
| Call number | Note | Status |
|---|---|---|
| 125838 |
More options
Description
Creators/Contributors
- Corporate Author
- California Institute of Technology. Computer Science Department. (CITCS) Caltech-CS-TR-93-19.
- Contributor
- van de Snepscheut, J. L. A.
Browse related items
Start at call number:
