Fundamentos de la programación en lógica temporal métrica /
Capítulo 1: Introducción: En Ciencias de la Computación el estudio y tratamiento computacional de nociones temporales es un área que ha despertado un interés creciente en las últimas décadas. Siempre que se trate de modelar un sistema dinámico, donde exista la noción de cambio o evolución de una par...
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Spanish |
| Publicado: |
2001.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Biblioteca Central
Volumen/Tomo: No especificado