Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.
Material type:
- 0387969578 (alk. paper)
- 511.3 22 DIP
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Library, Institute of Information and Communication Technology General Stacks | 511.3 DIP (Browse shelf(Opens below)) | 1 | Available | I000397 | |
![]() |
Library, Institute of Information and Communication Technology General Stacks | 511.3 DIP (Browse shelf(Opens below)) | 2 | Available | I000396 | |
![]() |
Library, Institute of Information and Communication Technology General Stacks | 511.3 DIP (Browse shelf(Opens below)) | 3 | Available | I000395 |
Includes index.
There are no comments on this title.