Program construction and verification. /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
London :
Prentice Hall internacional,
1986.
|
| Colección: | Prentice-Hall international series in computer science.
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Descripción Física: | 281 p. : graph. ; 23 cm |
|---|---|
| ISBN: | 0137291469 |