Program Construction and Verification

other_versions_link
Detalles Bibliográficos
Autor principal: Backhouse, Roland C
Formato: Printed Book
Lenguaje:English
Publicado: Prentice-Hall 1986
Descripción
Descripción Física:281
ISBN:0-13-729153-1

Ejemplares similares