Software abstractions logic, language and analysis

Detalles Bibliográficos
Autor principal: Jackson, Daniel
Formato: Libro
Lenguaje:English
Publicado: Cambridge, Mass. MIT Press c2006.
Materias: