Proving programs correct /

Guardado en:
Autor Principal: Anderson, Robert Brockett, 1941-
Formato: Libro
Idioma:English
Publicado: New York : Wiley, c1979.
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
descripción de la copia:Incluye índice.
Descripción Física:viii, 184 p. : il. ; 23 cm.
Bibliografía:Bibliografía: p. 170-182.
ISBN:0471033952