TY  - BOOK
AU  - Rosenfeld,Daniel Ricardo
AU  - Irazábal,Jerónimo
TI  - Computabilidad, complejidad computacional y verificación de programas
T2  - Libros de Cátedra
SN  - 9789503409701
AV  - QA76 R813 2013
U1  - 004 23
PY  - 2013///
CY  - La Plata
PB  - Editorial de la Universidad Nacional de La Plata
KW  - Computer science
KW  - Computer programming
KW  - Informática
KW  - Programación
KW  - Libros electrónicos
N1  - Contiene bibliografía
UR  - https://elibro.net/ereader/pedagogica/66401
ER  -