CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Software abstractions : logic, language and analysis / Daniel Jackson.

By: Jackson, Daniel, 1963-.
Material type: materialTypeLabelBookPublisher: Cambridge, Massachusetts : MIT, c2012Edition: Ed. rev.Description: xviii, 354 p. : il. ; 24 cm.ISBN: 9780262017152 (hardcover .Subject(s): Mathematical logic | Formal languages | Data | Computer software
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Status Date due Barcode Item holds Course reserves
Libro Libro FaMAF
Sección Computación
C F4 J12 Available 22415

Ingeniería del Software II

Total holds: 0

Incluye referencias bibliográficas (p. [337]-343) e índice.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//