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)-SemanticsItem 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
Includes index
Eng
There are no comments for this item.