Cálculos relacionales para la especificación y derivación de algoritmos /
El tema de esta tesis son los cálculos relacionales que permiten especificar y derivar programas formalmente. Hoy en día, estamos asistiendo a la llegada a la madurez, tanto teórica como práctica, de los métodos formales en ingeniería del software. Un factor nada despreciable que ha actuado como imp...
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Spanish |
| Publicado: |
1998.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|