MERAN
Catálogo
Búsqueda Avanzada
Estantes Virtuales
Contacto
Iniciar sesión
Estantes Virtuales
Estantes Principales
/
Material de Cátedra
/
Licenciatura en Informática (Plan 1990)
/
Teoría de la Computación y Verificación de Programas Avanzada *
/
Título
Autor
Lugar
Edicíon
Introduction to the theory of complexity
Bovet, Daniel Pierre
Nueva York
(c1994)
Verification of sequential and concurrent programs
Apt, Krsysztof R.
Nueva York
2nd ed. (c1997)