Descrição
Roland C Backhouse, University of Essex. Program Construction and Verification Computer Science Series.
Detalhes do Livro
Formato
Brochura
Páginas
281 páginas
Idioma
Inglês
Publicado
jan 1, 1986
Editora
Prentice Hall
Edições
2 edições
ISBN-10
0137291469
ISBN-13
9780137291465