Predicate Calculus and Program Semantics
| Authors | Dijkstra, Edsger W. Scholten, Carel S. |
| Series | Texts and Monographs in Computer Science [0.0] |
| Publisher | Springer |
| Published | 05 set 2011 |
| Date | 29 gen 2016 |
| Languages | eng |
| Identifiers | doi: 10.1007/978-1-4612-3228-5, oclc: 853269493, isbn: 9781461232285 |
| Formats |