CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Course reserves for Ingeniería del Software II

  1. Department: Computación
  2. Course number: 0090
  3. Instructors:
  4. Notes: Lic. en Computación
Title Author Item type Location Collection Call number Copy number Status Date due Notes Link
An integrated approach to software engineering / Jalote, Pankaj. Libro FaMAF
Sección Computación
C D2 J26i Checked out 27/09/2018 Record URL
Concurrency : Magee, Jeff, Libro FaMAF
Sección Computación
C D1.3 M191 ej.3 Available
Concurrency : Magee, Jeff, Libro FaMAF
Sección Computación
C D1.3 M191 ej.2 Available
Concurrency : Magee, Jeff, Libro FaMAF
Sección Computación
C D1.3 M191 Available
Principles of model checking / Baier, Christel Libro FaMAF
Sección Computación
C F3 B152 ej.2 Available Record URL
Principles of model checking / Baier, Christel Libro FaMAF
Sección Computación
C F3 B152 Available Record URL
Software abstractions : Jackson, Daniel, Libro FaMAF
Sección Computación
C F4 J12s ej.2 Available
Software abstractions : Jackson, Daniel, Libro FaMAF
Sección Computación
C F4 J12s Available
Software abstractions : Jackson, Daniel, Libro FaMAF
Sección Computación
C F4 J12 Available
The calculus of computation : Bradley, Aaron R. Libro FaMAF
Sección Computación
C F1 B811 Available Record URL
The spin model checker : Holzmann, Gerard Johan, Libro FaMAF
Sección Computación
C F3 H762 Available
Model checking / Clarke, Edmund M., Libro FaMAF
Sección Computación
C F3 C597 ej.2 Available
Model checking / Clarke, Edmund M., Libro FaMAF
Sección Computación
C F3 C597 Available

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