Program verification

Detalles Bibliográficos
Autor Principal: Francez, Nissim
Formato: Libro
Lengua:inglés
Datos de publicación: Cambridge : [S.n.], 1992
Temas:
Acceso en línea:Consultar en el Cátalogo
Descripción Física:xi, 312 p. : il. ; 24 cm.
ISBN:0201416085