CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 10 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).
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C F4.1 K93] (1).
Digital logic and microprocessor design with vhdl / Enoch Hwang.

by Hwang, Enoch.

Material type: book Book; Format: print Publisher: Australia : Thomson, 2006Availability: Items available for loan: [Call number: C B6 H991] (2).
VHDL : programming by example / Douglas L. Perry.

by Perry, Douglas L.

Edition: 4a ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : McGraw-Hill, c2002Online access: Contributor biographical information | Publisher description | Table of contents Availability: Items available for loan: [Call number: C B6.3 P462] (2).
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).
Formal methods in circuit design / V. Stavridou.

by Stavridou, V. (Victoria).

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University, 1993Availability: Items available for loan: [Call number: C B6.3 S798 ] (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).
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).
Theorem proving in higher order logics / ed. Joakim von Wright, Jim Grundy, John Harrison.

by TPHOLs '97 (9º : 1996 : Turku, Finland) | Wright, Joakim von, 1955- [ed.,] | Grundy, Jim, 1968- [ed.,] | Harrison, John, 1966- [ed.,].

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