Proving programs correct /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
New York :
John Wiley,
1979 (c)
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| Notas: | Bibliografía: p. 170-182. |
|---|---|
| Descripción Física: | viii, 184 p. diagrs. 23 cm. |
| ISBN: | 0471033952 |