CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 2 results. Subscribe to this search

|
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).
Hybrid systems III : verification and control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.

by DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems (1995 : Rutgers university, New Jersey) | Alur, Rajeev, 1966- [ed.,] | Henzinger, Thomas A [ed.] | Sontag, Eduardo D, 1951- [ed.].

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