Software abstractions logic, language and analysis

Detalhes bibliográficos
Autor principal: Jackson, Daniel
Formato: Livro
Idioma:English
Publicado em: Cambridge, Mass. MIT Press c2006.
Assuntos: