Uma automacao de logica temporal /
Autores principales: | , |
---|---|
Formato: | Libro |
Lenguaje: | Portuguese |
Publicado: |
Rio de Janeiro :
Universidad Federal do Rio de Janeiro,
1992.
|
Materias: |
Sistema de Bibliotecas de la Universidad de Costa Rica
Número de Clasificación: |
005.133 |
---|---|
Copia | Disponible |