Vista normal Vista MARC Vista ISBD

Álvez, Javier,

Especificación, verificación y derivación formal de programas - Madrid (España): Pearson Educación, 2015 - 245 páginas

Incluye índice general, notas bibliográficas, figuras, diagramas

Especificación formal de programas.-- verificación de programas iterativos.-- Verificación de programas recursivos.-- Especificación ecuacional de tipos de datos.-- Transformación de recursivo a iterativo.-- Derivación de programas iterativos.-- derivación de programas recursivos

ISBN: 9788420564982

Subjects--Topical Terms:
INFORMATICA
PROGRAMAS INFORMATICOS
RECURSIVOS
SISTEMAS
TECNICAS
TRANSFORMACIÓN

Dewey Class. No.: 004 / ALVe