Formal development of programs and proofs
Edición de la obra Formal development of programs and proofs
| Autor | Edsger Wybe Dijkstra |
|---|---|
| Editorial | Addison-Wesley |
| Fecha de publicación | 1990 |
| Lugar | Reading, Mass |
| Idioma | inglés |
| Páginas | 242 |
| ISBN-10 | 0201172372 |
| LCCN | 89000102 |
| Serie | The UT year of programming series |
| Número de Cutter | D575f |