The specification of computer programs
Edición de la obra The specification of computer programs
| Autor | Władysław Turski |
|---|---|
| Editorial | Addison-Wesley |
| Fecha de publicación | 1987 |
| Lugar | Wokingham, England, Reading, Mass |
| Idioma | inglés |
| Páginas | 278 |
| ISBN-10 | 0201142260 |
| LCCN | 86028900 |
| Serie | International computer science series |
| Número de Cutter | T961s |