noticia

Nueva reimpresión 21 mayo 2018


Primera reimpresión revisada  del libro  Correción de algoritmos complejos : Verificación formal .

Autores: Esther Lidia Silva Ramírez; Manuel López Coello