CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 11 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 : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.).

by CAV (Conference) (18º : 2006 : Seattle, Wash.) | Ball, Thomas, 1965- | Jones, Robert Brent, 1969-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Availability: Items available for loan: [Call number: C LNCS v. 4144] (1).
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. : Proceedings / Stefan Kowalewski, Anna Philippou, editors.

by International Conference on Tools and Algorithms for the Construction and Analysis of Systems (15º : 2009 : York, UK.) | Kowalewski, Stefan [ed.] | Philippou, Anna [ed.].

Material type: book Book Publisher: Berlin : Springer 2009Availability: Items available for loan: [Call number: C LNCS v. 5505] (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