Sistema Biblioteca Virtual - UNAMBA

Vista normal Vista MARC Vista ISBD

Peña Marí, Ricardo

Diseño de Programas: Formalismo y Abstracción / [Impreso] Ricardo Peña Marí - Tercera edición - [xx], 466 páginas : Ilustraciones, figuras ; 17.2 x 24 centímetros.

Bibliografía de la página 453 - 459 / Incluye índice analítico

Sala general / a domicilio

En el libro se describen técnicas tales como el diseño y la verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos.


Texto en español

ISBN: 8420541915

Subjects--Topical Terms:
PROGRAMACIÓN DE ORDENADORES
PROGRAMACIÓN LÓGICA
PROGRAMAS Y SISTEMAS DE PROGRAMACIÓN

Subjects--Geographic Terms:
España

Dewey Class. No.: 005.133 / P42