Normal view MARC view ISBD view

Especificación, verificación y derivación formal de programas

Maritxalar, Montse,

Especificación, verificación y derivación formal de programas - 1a. ed. - 231 páginas Impreso

Incluye notas bibliográficas

Contiene: Especificación formal de programas. Verificación de programas itertivos. Verificación de programas recursivos. Especificación ecuacional de tipos de datos. Transformación de recursivo a iterativo. De3rivación de programas iterativos. Derivación de programas recursivos

ISBN: 978-84-205-6498-2

Subjects--Topical Terms:
DESARROLLO DE SOFTWARE
PROGRAMACIÓN INTERACTIVA
TRANSFORMACIÓN DE PROGRAMACIÓN
VERIFICACIÓN DE PROGRAMACIÓN

Subjects--Facted Index Terms:
005.3 - Programas
005.3 - Programas

Dewey Class. No.: 005.3 / A474

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)