MERAN
Catálogo
Búsqueda Avanzada
Estantes Virtuales
Contacto
Iniciar sesión
Estantes Virtuales
Estantes Principales
/
Material de Cátedra
/
Licenciatura en Informática (Planes 2003/2007)
/
Teoría de la Computación y Verificación de Programas Avanzada *
/
Estantes
Programas
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)