Biblioteca UPSE

Catálogo digital

Normal view MARC view ISBD view

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

By: Álvez, Javier [autor].
Contributor(s): Arregi, Xabier [autor] | Gaintzarain, Jose [autor].
Publisher: Madrid (España): Pearson Educación, 2015Description: 245 páginas.Content type: text Media type: no mediado Carrier type: volumenISBN: 9788420564982.Subject(s): INFORMATICA | PROGRAMAS INFORMATICOS | RECURSIVOS | SISTEMAS | TECNICAS | TRANSFORMACIÓN | Tecnologías de la información y la comunicación (TIC) - Tecnologías de la información y la comunicación (TIC)DDC classification: 004
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due
Libros Libros Biblioteca General
Fac de Sistemas y Telecomunicaciones - Carrera de Electrónica y Telecomunicaciones 004 ALVe (Browse shelf) Available
Libros Libros Biblioteca General
Fac de Sistemas y Telecomunicaciones - Carrera de Informática 004 ALVe (Browse shelf) Available

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

There are no comments for this item.

Log in to your account to post a comment.
Universidad Estatal de la Península de Santa Elena
Sede Central Tel: (04) 2-781732 / 2-781738
Fax:2-781738
Vía La Libertad Santa Elena Km 1 1/2 - Provincia de Santa Elena Ecuador Tel: +593-4-27181738 extensión 136
Contacto Email: biblioteca@upse.edu.ec

Powered by Koha