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

By:

Maritxalar, Montse [autor]

Contributor(s):

Material type: Text

TextLanguage: Spanish Publisher: Madrid : Pearson, 2015Edition: 1a. edDescription: 231 páginas; ImpresoContent type:

texto

Media type:

no mediado

Carrier type:

volumen

ISBN:

978-84-205-6498-2

Subject(s):

DDC classification:

005.3 A474

Abstract: 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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Shelving location	Call number	Status	Barcode
Libro	Biblioteca Hernán Malo González	Biblioteca Central Bloque A	005.3 A474 BG01992 (Browse shelf(Opens below))	Available	BG01992

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

There are no comments on this title.

to post a comment.