Silva Ramírez, Esther Lydia. <br/><br/>
Verificación formal de algoritmos :  ejercicios resueltos / 
Esther Lydia Silva Ramírez, Manuel López Coello. 
 - 1 recurso en línea (240 páginas) 
 - Manuales / Universidad de Cádiz. Ingenierías y arquitectura .
 - Universidad de Cádiz.  Ingenierías y arquitectura.  Manuales. .
<br/><br/><label>ISBN: </label>9788498285628 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algorithms.<br/>Algoritmos--Problemas y ejercicios.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Libros electronicos.
<br/><br/><label>LC Class. No.: </label>QA9.58  / S586 2018 
<br/><br/><label>Dewey Class. No.: </label>511.8 
<br/><br/><label>Universal Decimal Class. No.: </label>510.5(076.3)