Rosenfeld, Daniel Ricardo - Autor; Irazábal, Jerónimo - Autor <br/><br/>
Computabilidad, complejidad computacional y verificación de programas  [ Libro electrónico E-libro] 

 -  D - Editorial de la Universidad Nacional de La Plata  2013 
<br/><br/><label>ISBN: </label>9789503409701 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Ordenadores <br/> Ingeniería Informática