Estantes Virtuales
TítuloAutorLugarEdicí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)
Computabilidad, complejidad computacional y verificación de programas Rosenfeld, Ricardo Fabián La Plata 1a ed.   (2013)
Lógica para informática Pons, Claudia Fabiana La Plata 1a ed.   (2017)