Estantes Virtuales
TítuloAutorLugarEdicíon
Teoría de la Computación y Verificación de Programas Rosenfeld, Ricardo Fabián (2010)