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

Con tecnología Koha