CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 27 results. Subscribe to this search

|
Formal systems specification : the RPC memory specification case study / ed. Manfred Broy, Stephen Merz, Katharina Spies.

by Broy, Manfred, 1949- [ed.,] | Merz, Stephen [ed.] | Spies, Katharina [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1169 ] (1).
Dependable computing--EDCC-2 / second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings / ed. Andrzej Hlawiczka, Joao Gabriel Silva, Luca Simoncini.

by European Dependable Computing Conference (2 : 1996 : Taormina, Italy) | Hlawiczka, Andrzej [ed.] | Silva, Joao Gabriel [ed.] | Simoncini, Luca, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1150 ] (1).
Computer aided verification / ed. Rajeev Alur, Thomas A. Henzinger.

by CAV (Conference) (8º : 1996 : New Brunswick, N.J.) | Alur, Rajeev, 1966- [ed.,] | Henzinger, Thomas A [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1102 ] (1).
Tools and algorithms for the construction and analysis of systems / ed. Tiziana Margaria, Bernhard Steffen.

by TACAS (Conference) (2º : 1996 : Passau, Germany) | Margaria, Tiziana, 1964- [ed.,] | Steffen, Bernhard [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1055 ] (2).
A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra.

by Misra, Jayadev.

Material type: book Book Publisher: Berlin : Springer, 2001Availability: Items available for loan: [Call number: C D1.3 M678] (1).
Chequeo de modelos cuantitativos mediante teoría de autómatas / Marcos E. Kurbán.

by Kurbán, Marcos Emanuel | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n.], 2003Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2003. Availability: Items available for loan: [Call number: TE C KUR] (1).
Yaba, un asistente interativo para la derivación de programas / Matías Gertel, Bruno Mancuso.

by Gertel, Matías | Mancuso, Bruno | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n.], 2001Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2001. Availability: Items available for loan: [Call number: TE C GER] (1).

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