Rosenfeld, Daniel Ricardo. <br/><br/>
Computabilidad, complejidad computacional y verificación de programas / 
Ricardo Rosenfeld y Jerónimo Irazábal ; con prólogo de Ricardo Rosenfeld. 
 - 1 recurso en línea (313 páginas) 
 - Libros de Cátedra .
 - Libros de Cátedra. .
<br/><br/>Contiene bibliografía. 
<br/><br/><label>ISBN: </label>9789503409701 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.<br/>Informática.<br/>Programación.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Libros electrónicos.
<br/><br/><label>LC Class. No.: </label>QA76  / R813 2013 
<br/><br/><label>Dewey Class. No.: </label>004 
<br/><br/><label>Universal Decimal Class. No.: </label>004