CATÁLOGO DE LA BIBLIOTECA

Reservas para cursos para Ingeniería del Software II

  1. Departamento: Computación
  2. Número de curso: 0090
  3. Instructores:
  4. Notas: Lic. en Computación
Título Autor Tipo de ítem Ubicación Colección Signatura Copia número Estado Fecha de vencimiento Notas Enlazar
An integrated approach to software engineering / Jalote, Pankaj. Libro FaMAF
Sección Computación
C D2 J26i Disponible URL de registro
Concurrency : Magee, Jeff, Libro FaMAF
Sección Computación
C D1.3 M191 ej.3 Disponible
Concurrency : Magee, Jeff, Libro FaMAF
Sección Computación
C D1.3 M191 ej.2 Disponible
Concurrency : Magee, Jeff, Libro FaMAF
Sección Computación
C D1.3 M191 Disponible
Principles of model checking / Baier, Christel Libro FaMAF
Sección Computación
C F3 B152 ej.2 Disponible URL de registro
Principles of model checking / Baier, Christel Libro FaMAF
Sección Computación
C F3 B152 Disponible URL de registro
Software abstractions : Jackson, Daniel, Libro FaMAF
Sección Computación
C F4 J12s ej.2 Disponible
Software abstractions : Jackson, Daniel, Libro FaMAF
Sección Computación
C F4 J12s Disponible
Software abstractions : Jackson, Daniel, Libro FaMAF
Sección Computación
C F4 J12 Disponible
The calculus of computation : Bradley, Aaron R. Libro FaMAF
Sección Computación
C F1 B811 Disponible URL de registro
The spin model checker : Holzmann, Gerard Johan, Libro FaMAF
Sección Computación
C F3 H762 Disponible
Model checking / Clarke, Edmund M., Libro FaMAF
Sección Computación
C F3 C597 ej.2 Disponible
Model checking / Clarke, Edmund M., Libro FaMAF
Sección Computación
C F3 C597 Disponible

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 4334051 int. 127

biblio@famaf.unc.edu.ar