Software abstractions : logic, language, and analysis /

Detalles Bibliográficos
Autor principal: Jackson, Daniel
Formato: Libro
Lenguaje:English
Publicado: Cambridge, Mass. ; London : MIT Press, c2006.
Materias:
Desarrollo de programas para computadora
Descripción
Descripción Física:xvi, 350 p. : il. ; 24 cm.
Bibliografía:Incluye bibliografía (p. [333]-339) e índice.
ISBN:0262101149
9780262101141

Ejemplares similares