| Type |  Book |
| ชื่อเรื่อง | Predicate calcalus and program semantics / Edsger W. Dijkstre, Carel S. Scholten |
| ผู้แต่ง | DijkKstra, Edsger W. (Edsger Wybe) |
| ISBN | 0-387-96957-8 |
| พิมพลักษณ์ | New York : Springer-Verlag, c1990 |
| รูปเล่ม | 220 p. : ill. ; 23 cm |
| หัวเรื่อง | Predicate calculus |
| | Programming languages (Electronic computers) --Semantics [] |