Silva Ramírez, Esther Lidia, <br/><br/>
Verificación formal de algoritmos :  ejercicios resueltos 
Esther Lidia Silva Ramírez, Manuel López Coello 
 - 240 páginas :  ilustraciones 
 - Manuales de ingenieria y arquitectura .
<br/><br/><label>ISBN: </label>9788498282641 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algoritmos<br/>Algoritmos--Problemas, ejercicios, etc.
<br/><br/><label>LC Class. No.: </label>QA9.58  / S535