Verifiable programming
Edición de la obra Verifiable programming
| Autor | Ole-Johan Dahl |
|---|---|
| Editorial | Prentice Hall |
| Fecha de publicación | 1992 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 269 |
| ISBN-10 | 0139510621 |
| OCLC | 24792411 |
| LCCN | 91040182 |
| Serie | Prentice Hall international series in computer science |
| Número de Cutter | D131v |