Maritxalar, Montse, <br/><br/>
Especificación, verificación y derivación formal de programas 

 - 1a. ed. 
 - 231 páginas  Impreso 
<br/><br/>Incluye notas bibliográficas 
<br/><br/> Contiene: Especificación formal de programas. Verificación de programas itertivos. Verificación de programas recursivos. Especificación ecuacional de tipos de datos. Transformación de recursivo a iterativo. De3rivación de programas iterativos. Derivación de programas recursivos 
<br/><br/><label>ISBN: </label>978-84-205-6498-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>DESARROLLO DE SOFTWARE<br/>PROGRAMACIÓN INTERACTIVA<br/>TRANSFORMACIÓN DE PROGRAMACIÓN<br/>VERIFICACIÓN DE PROGRAMACIÓN
<br/><br/><label>Subjects--Facted Index Terms: </label><br/>005.3 - Programas<br/>005.3 - Programas
<br/><br/><label>Dewey Class. No.: </label>005.3  / A474