Predicate Calculus and Program Semantics
Edición de la obra Predicate Calculus and Program Semantics
| Autor | Edsger Wybe Dijkstra |
|---|---|
| Editorial | Springer New York |
| Fecha de publicación | 1990 |
| Lugar | New York, NY |
| Idioma | inglés |
| Páginas | 220 |
| Formato | [electronic resource] / |
| ISBN-13 | 9781461279242, 9781461232285 |
| ISBN-10 | 1461279240, 1461232287 |
| OCLC | 853269493 |
| Serie | Texts and Monographs in Computer Science · Texts and monographs in computer science |