CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 9 results. Subscribe to this search

|
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings / Werner Damm, Holger Hermanns, editors.

by CAV (Conference) (19º : 2007 : Berlin, Germany) | Hermanns, Holger [Volume Editor].

Material type: book Book Publisher: Berlin : Springer 2007Availability: Items available for loan: [Call number: C LNCS v. 4590] (1).
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings / Aarti Gupta, Sharad Malik, editors.

by CAV (Conference) (20º : 2008 July 7-14 : Princeton, NJ, USA) | Gupta, Aarti [ed.] | Malik, Sharad [ed.].

Material type: book Book Publisher: Berlin : Springer 2008Availability: Items available for loan: [Call number: C LNCS v. 5123] (1).
Computer aided verification : proceedindings / ed. Orna Grumberg.

by CAV (Conference) (9º : 1997 : Haifa, Israel) | Grumberg, Orna [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1254 ] (1).
Mobile object systems : towards the programmable internet / ed. Jan Vitek, Christian Tschudin.

by MOS '96 (2º : 1996 : Linz, Austria) | Vitek, Jan [ed.] | Tschudin, Christian [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1222 ] (1).
Tools and algorithms for the construction and analysis of systems / ed. Ed Brinksma.

by TACAS (Conference) (3º : 1997 : Enschede, The Netherlands) | Brinksma, Ed [ed.].

Material type: book Book Publisher: Berlin : Springer, 1997Availability: Items available for loan: [Call number: C LNCS v. 1217 ej.2] (2).
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).

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