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, London |
| Idioma | inglés |
| Páginas | 220 |
| ISBN-10 | 3540969578 |
| Serie | Texts and monographs in computer science |
| Número de Cutter | D575p |