Sistema Biblioteca Virtual - UNAMBA

Vista normal Vista MARC Vista ISBD

Peña Marí, Ricardo (Catedrático)

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

Sala especializada / a domicilio

Presenta una amplia variedad de técnicas de programación, tales como el diseño y la verificación de programas recursivos, la formal de programas iterativos y la especificación algebraica de tipos abstractos de datos.


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.: 003.0151 / P42