Title:
Predicate calculus and program semantics
Author:
Dijkstra, Edsger Wybe.
ISBN:
9780387969572
Publication Information:
New York : Springer, 1990.
Physical Description:
xi, 222 s.
Added Author:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | Book | 7.2/12/574010 | QA 9.35 D55 1990 | Searching... | Searching... |