TY  - GEN
T1  - Computabilidad, complejidad computacional y verificación de programas
T2  - Libros de Cátedra.
A1  - Rosenfeld, Daniel Ricardo.
A2  - Irazábal, Jerónimo,
LA  - Spanish
PP  - La Plata
PB  - Editorial de la Universidad Nacional de La Plata
YR  - 2013
UL  - https://colectivo.uloyola.es/Record/ELB66401
OP  - 313
CN  - QA76 R813 2013
SN  - 9789503409701
KW  - Computer science.
KW  - Computer programming.
KW  - Informática.
KW  - Programación.
KW  - Libros electrónicos.
ER  -