Reservas para cursos para Ingeniería del Software II
- Departamento: Computación
- Número de curso: 0090
- Instructores:
- Notas: Lic. en Computación
| Título | Autor | Tipo de ítem | Ubicación | Colección | Signatura topográfica | 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 : state models & java programs / | Magee, Jeff, | Libro | FaMAF Sección Computación |
C D1.3 M191 ej.3 | Disponible | ||||||
| Concurrency : state models & java programs / | Magee, Jeff, | Libro | FaMAF Sección Computación |
C D1.3 M191 ej.2 | Disponible | ||||||
| Concurrency : state models & java programs / | 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 : logic, language and analysis / | Jackson, Daniel, | Libro | FaMAF Sección Computación |
C F4 J12s ej.2 | Disponible | ||||||
| Software abstractions : logic, language and analysis / | Jackson, Daniel, | Libro | FaMAF Sección Computación |
C F4 J12s | Disponible | ||||||
| Software abstractions : logic, language and analysis / | Jackson, Daniel, | Libro | FaMAF Sección Computación |
C F4 J12 | Disponible | ||||||
| The calculus of computation : decision procedures with applications to verification / | Bradley, Aaron R. | Libro | FaMAF Sección Computación |
C F1 B811 | Disponible | URL de registro | |||||
| The spin model checker : primer and reference manual / | 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 | ||||||
| Defining liveness | Alpern, Bowen | Artículo de Revista en Línea | FaMAF Recurso en línea |
Artículo de Revista en Línea | Disponible | Ítem URI | |||||
| Recogizing safety and liveness | Alpern, Bowen | Artículo de Revista en Línea | FaMAF Recurso en línea |
Artículo de Revista en Línea | Disponible | Ítem URI |