Program verification /

Guardado en:

Detalles Bibliográficos
Autor principal:	Francez, Nissim
Formato:	Libro
Lenguaje:	Inglés
Publicado:	Wokimgham : Addison-Wesley, 1992
Materias:	Informática Programas de computador

Descripción
Descripción Física:	xi, 312 p. : il. ; 24 cm.
ISBN:	0201416085

Ejemplares similares