Software abstractions : logic, language, and analysis / Daniel Jackson.
Tipo de material: TextoEditor: Cambridge, Mass. : MIT Press, c2012Edición: Revised editionDescripción: xviii, 354 páginas : ilustraciones ; 23 cmTipo de contenido:- texto
- no mediado
- volumen
- 9780262017152
- QA76.76.D47 J29 2012
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|
Libro | BURRF: FG (PP) | QA76.76.D47 J29 2012 | 1 | 1080227027 |
Incluye bibliografía (páginas [337]-343)