Software abstractions : logic, language and analysis / Daniel Jackson.
Detalles de publicación: Cambridge, Mass. : MIT, c2006.Descripción: xvi, 350 p. : il. ; 24 cmISBN:- 0262101159 (alk. paper) --
- 9780262101141 (alk. paper)
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | Reservas para cursos |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F4 J12s ej.2 | Disponible | 20424 | |||
Libro | FaMAF Sección Computación | C F4 J12s | Disponible | 19538 |
Total de reservas: 0
Includes bibliographical references (p. [333]-339) and index.
Importación de Publicaciones ;
Donación del Dr. Pedro D'Argenio ;
La biblioteca posee 2 ej.