Refinar su búsqueda

Su búsqueda retornó 28 resultados.

Ordenar
Resultados
21.
Formal systems specification : the RPC memory specification case study / ed. Manfred Broy, Stephen Merz, Katharina Spies. por Series Lecture notes in computer science ; LNCS ; v. 1169
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1169 .
22.
23.
Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger. por Series Lecture notes in computer science ; v. 1102 | LNCS ; v. 1102
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1102 .
24.
Tools and algorithms for the construction and analysis of systems / ed. Tiziana Margaria, Bernhard Steffen. por Series Lecture notes in computer science ; v. 1055 | LNCS ; v. 1055
Detalles de publicación: Berlin : Springer, 1996
Disponibilidad: Ítems disponibles para préstamo: FaMAF (2)Signatura topográfica: C LNCS v. 1055 , ...
25.
A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra. por Series Monographs in computer science
Detalles de publicación: Berlin : Springer, 2001
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C D1.3 M678.
26.
Chequeo de modelos cuantitativos mediante teoría de autómatas / Marcos E. Kurbán. por
Detalles de publicación: [S.l. : s.n.], 2003
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2003.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 2 - 16501.
27.
Yaba, un asistente interativo para la derivación de programas / Matías Gertel, Bruno Mancuso. por
Detalles de publicación: [S.l. : s.n.], 2001
Nota de disertación: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2001.
Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 2 - 15843.
28.
ACM Transactions on programming languages and systems. por
Detalles de publicación: New York : Association for computing machinery
Otro título:
  • TOPLAS
Disponibilidad: Ítems disponibles para préstamo: FaMAF (7)Signatura topográfica: ACM Transactions on programming languages and systems 4 1995, ...
Páginas


Nuestras Redes Sociales

facebook Instagram

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

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 (Dirección)

publicofamaf@gmail.com (Atención al público)