Especificación, verificación y derivación formal de programas
Material type:
TextLanguage: Spanish Publisher: Madrid : Pearson, 2015Edition: 1a. edDescription: 231 páginas; ImpresoContent type: - texto
- no mediado
- volumen
- 978-84-205-6498-2
- 005.3 A474
| 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 |
Browsing Biblioteca Hernán Malo González shelves, Shelving location: Biblioteca Central Bloque A Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
|
|
|
||
| 005.13 H7911 BG02566 Introducción a la teoría de autómatas, lenguajes y computación | 005.13 I76 BG02565 Lenguajes, gramáticas y autómatas. Un enfoque práctico. | 005.13 L3248 BG02572 UML y patrones : introducción al análisis y diseño orientado a objetos | 005.3 A474 BG01992 Especificación, verificación y derivación formal de programas | 005.3 C3551 BG02022 Comunicaciones: una introducción a las redes digitales de transmisión de datos y señales isócronas | 005.3 D975 BG06204 Términos de la sociedad de la información y la prospectiva, Los | 005.43 M642 BG02577 Sistemas operativos : conceptos y diseño |
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.