Predicate calculus and program semantics
Edición de la obra Predicate calculus and program semantics
| Autor | Edsger Wybe Dijkstra |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1990 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 220 |
| ISBN-10 | 0387969578 |
| OCLC | 20014580 |
| LCCN | 89011540 |
| Serie | Texts and monographs in computer science |
| Número de Cutter | D575p |