Gordon, Michael J.C. <br/><br/>
Programming languages theory and its implementation :  applicative and imperative paradigms 

 - 1st ed. 
 - Nueva York :  [S.n.],  1988 
 - xiv, 255 p. ;  25 cm. 
 - Prentice Hall International series in computer science .
<br/><br/> Incluye bibliografía. 
<br/><br/><label>ISBN: </label>0137304099 
<br/><br/><label>Standard No.: </label>DIF-M409 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LENGUAJES DE PROGRAMACIÓN<br/>DEFINICIONES FORMALES Y TEORÍA<br/>LENGUAJES FORMALES<br/>LÓGICA MATEMÁTICA<br/>LÓGICA Y SIGNIFICADO DE LOS PROGRAMAS<br/>PROGRAMACIÓN FUNCIONAL<br/>CORRECCIÓN DE PROGRAMAS<br/>VERIFICACIÓN DE PROGRAMAS