Software abstractions : logic, language and analysis /
Jackson, Daniel,
Software abstractions : logic, language and analysis / Daniel Jackson. - xvi, 350 páginas : ilustraciones
Incluye bibliografía (p. [333]-339).
0262101149 9780262101141
Programación (Computadores electrónicos)--Desarrollo.
005.1 / J12s 2006
Software abstractions : logic, language and analysis / Daniel Jackson. - xvi, 350 páginas : ilustraciones
Incluye bibliografía (p. [333]-339).
0262101149 9780262101141
Programación (Computadores electrónicos)--Desarrollo.
005.1 / J12s 2006