Descripción
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Detalles del libro
Formato
Tapa blanda
Páginas
281 páginas
Idioma
Inglés
Publicado
ene. 1, 1986
Editorial
Prentice Hall
Ediciones
2 ediciones
ISBN-10
0137291469
ISBN-13
9780137291465