Predicate calculus and program semantics /
Saved in:
| Author / Creator: | Dijkstra, Edsger W. |
|---|---|
| Imprint: | New York : Springer-Verlag, c1990. |
| Description: | x, 220 p. ; 25 cm. |
| Language: | English |
| Series: | Texts and monographs in computer science |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/998937 |