Silva Ramírez, Esther Lydia, <br/><br/>
Corrección de algoritmos complejos :  verificación formal / 
Esther Lydia Silva Ramírez y Manuel López Coello. 
 - 1 recurso en línea (IX, 214 páginas) 
 - Manuales / Universidad de Cádiz. Ingenierías y arquitectura .
 - Universidad de Cádiz.  Ingenierías y arquitectura.  Manuales. .
<br/><br/> elibro catedra 2020. 
<br/><br/><label>ISBN: </label>9788498285642 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algoritmos.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Libros electronicos.
<br/><br/><label>LC Class. No.: </label>QA9.58  / S586 2017 
<br/><br/><label>Dewey Class. No.: </label>511.8 
<br/><br/><label>Universal Decimal Class. No.: </label>510.5