Predicate Calculus and Program Semantics
Edición de la obra Predicate Calculus and Program Semantics
| Autor | Edsger Wybe Dijkstra, Carel S. Scholten |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Oct 09, 2011 |
| Páginas | 240 |
| Formato | paperback |
| ISBN-13 | 9781461232292 |
| ISBN-10 | 1461232295 |
| Número de Cutter | D575p |