Image from Amazon.com
Image from Google Jackets
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.
Material type:
TextSeries: Texts and monographs in computer sciencePublication details: New York : Springer-Verlag, c1990.Description: x, 220 p. : ill. ; 25 cmISBN: - 0387969578 (alk. paper)
- 511.3 22 DIP
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 511.3 DIP (Browse shelf(Opens below)) | 1 | Available | I000397 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 511.3 DIP (Browse shelf(Opens below)) | 2 | Available | I000396 | |
|
Books
|
Library, Institute of Information and Communication Technology General Stacks | 511.3 DIP (Browse shelf(Opens below)) | 3 | Available | I000395 |
Browsing Central Library, SUST shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 CAL Logic, sets, and recursion / | 511.3 CHM The mathematical theory of black holes / | 511.3 DIP Predicate calculus and program semantics / | 511.3 DIP Predicate calculus and program semantics / | 511.3 DIP Predicate calculus and program semantics / | 511.3 ENE Elements of set theory / | 511.3 ENE Elements of set theory / |
Includes index.
There are no comments on this title.