| Estantes |
|---|
| Programas de estudio |
| Título | Autor | Lugar | Edicíon |
|---|---|---|---|
| Teoría de la computación y verificación de programas | Rosenfeld, Ricardo Fabián | La Plata | 1a ed. (2010) |
| Computabilidad, complejidad computacional y verificación de programas | Rosenfeld, Ricardo Fabián | La Plata | 1a ed. (2013) |