Carregando...

Program Construction and Verification

Detalhes bibliográficos
Autor principal: Backhouse, Roland C
Formato: Printed Book
Idioma:English
Publicado em: Prentice-Hall 1986