Vista normal Vista MARC Vista ISBD

Silva Ramírez, Esther Lidia,

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 .

ISBN: 9788498282641

Subjects--Topical Terms:
Algoritmos
Algoritmos--Problemas, ejercicios, etc.

LC Class. No.: QA9.58 / S535