Especificacion, verificacion y derivacion formal de programas (Registro nro. 110847)
[ vista simple ]
| 000 -Cabecera (24) | |
|---|---|
| Campo de control interno | 01633nam a2200289Ia 4500 |
| 001 - Número de control | |
| Campo de control | UCACUE42009 |
| 007 - Tipo material - Descripcion fisica - info general | |
| Tipo material | ta |
| 008 - Códigos de longitud fija (40p) | |
| Campo de control de longitud fija | 210503s2015||||xx |||||||||||||| ||spa|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 978-84-205-6498-2 |
| 041 ## - Código de idioma (R) | |
| Código de lengua del texto/banda sonora o título independiente (R) | spa |
| 082 ## - Número de la Clasificación | |
| Código de Clasificación | 372.7 (Matemáticas) - |
| 100 ## - Autor Personal | |
| Autor Personal | Álvarez, Javier |
| Término indicativo de función (R) | autor |
| 245 #0 - Titulo | |
| Titulo | Especificacion, verificacion y derivacion formal de programas |
| 250 ## - Mencion de edicion | |
| Mencion de edicion | 1a edicion |
| 260 ## - Editorial | |
| Ciudad | |
| Nombre de la Editorial | Pearson, |
| Fecha | 2015 |
| 300 ## - Descripcion | |
| Páginas | 245 p.: |
| Otros detalles físicos | formulas, imagenes; |
| Dimensiones | 195 x 250 cm |
| 513 ## - Nota de periodo de años | |
| Nota de periodo de años | 2015 |
| 520 ## - Resumen | |
| Resumen | Este libro suministra material para un curso de formación introductoria en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable. Presentamos, e ilustramos con ejemplos y ejercicios, una colección de métodos formales básicos de especificación de programas y de tipos de datos, de verificación de programas imperativos y recursivos sencillos, de transformación de especificacióones (y/o programas) recursivos en programas iterativos y de derivación formal de programas, tanto iterativos como recursivos. Cada capítulo del libro contiene ejemplos completamente desarrollados en las secciones precedentes, incluendo una lista final de ejercicios de recopilación. |
| 650 ## - Temas - Descriptores | |
| Temas - Descriptores | ÁRBOL BINARIO |
| 9 (RLIN) | 57090 |
| 650 ## - Temas - Descriptores | |
| Temas - Descriptores | COMPOSICIÓN |
| 9 (RLIN) | 14253 |
| 650 ## - Temas - Descriptores | |
| Temas - Descriptores | DERIVACIÓN |
| 9 (RLIN) | 46728 |
| 700 ## - Autor Personal | |
| Autor Personal | Arregi, Xavier |
| Término indicativo de función (R) | autor |
| 9 (RLIN) | 57092 |
| 700 ## - Autor Personal | |
| Autor Personal | Gaintzarain, José |
| Término indicativo de función (R) | autor |
| 9 (RLIN) | 57093 |
| 700 ## - Autor Personal | |
| Autor Personal | Lucio, Paqui |
| Término indicativo de función (R) | autor |
| 9 (RLIN) | 57094 |
| 700 ## - Autor Personal | |
| Autor Personal | Montse, Maritxalar |
| Término indicativo de función (R) | autor |
| 9 (RLIN) | 57089 |
| 942 ## - Datos personalizados Koha | |
| Tipo de Documento | Libros |
| Deterioro (estado) | Colección | Ubicacion permanente | Ubicacion actual | Fecha de Ingreso a la Biblioteca | Origen de adquisicion | Prestamos | Clasificación | Código de barras | Ultima fecha de verificacion | Catalogador | Tipo de Item |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Carrera de Ingeniería de Software | Unidad Académica de Informática, Ciencias de la Computación e Innovación Tecnológica | Unidad Académica de Informática, Ciencias de la Computación e Innovación Tecnológica | 01/13/2020 | Compra | 372.7 AL473 7B00762 | 7B00762 | 05/03/2021 | gorellana | Libros |