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) |
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 | (2017) |