Peña Marí, Ricardo  (Catedrático) <br/><br/>
Diseño de Programas:  Formalismo y Abstracción /  [Impreso] 
Ricardo Peña Marí 
 - Tercera edición 
 - xix, 466 páginas  : Ilustraciones, figuras  ; 17.2 x 24 centímetros 
<br/><br/> Sala especializada / a domicilio  
<br/><br/> Presenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.  
<br/><br/><br/>Texto en español 
<br/><br/><label>ISBN: </label>8420541915 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROGRAMACIÓN DE ORDENADORES<br/>PROGRAMACIÓN LÓGICA<br/>PROGRAMAS Y SISTEMAS DE PROGRAMACIÓN
<br/><br/><label>Subjects--Geographic Terms: </label><br/>España
<br/><br/><label>Dewey Class. No.: </label>003.0151   / P42