Predicate calculus and program semantics
by
Dijkstra, Edsger W
; Scholten, Carel S
.
Publisher: New York: Springer-Verlag, 1990Description: x, 220p.ISBN: 0-387-96957-8.Subject(s): Programming languages (Electronic computers)-Semantics![](/opac-tmpl/prog/images/filefind.png)
Item type | Location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books |
Central Library AIOU Islamabad
General Stacks
Allama Iqbal Open UniversityCentral Library |
511.3 DIP (Browse shelf) | Available | 84026 |
Total holds: 0
Browsing Central Library AIOU Islamabad Shelves , Shelving location: General Stacks Close shelf browser
No cover image available |
![]() |
No cover image available |
![]() |
![]() |
![]() |
No cover image available | ||
511.3 BUM Mathematical fallacies and paradoxes | 511.3 COC Computability theory | 511.3 DII Introduction to mathematical logic | 511.3 DIP Predicate calculus and program semantics | 511.3 EBM Mathematical logic | 511.3 GAA Automata and computability | 511.3 GEB Basic concepts of mathematics and logic |
Includes index
Eng
There are no comments for this item.