Program construction and verification /
Guardado en:
Autor principal: | |
---|---|
Formato: | Libro |
Lenguaje: | inglés |
Publicado: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
c1986.
|
Materias: | |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Descripción Física: | xi, 281 p. : ill. |
---|---|
ISBN: | 0137291531 : 0137291469 (pbk.) |