The Imperative future : principles of executable temporal logic /
Guardado en:
| Otros Autores: | Barringer, Howard, 1951- |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Taunton, Somerset, England : New York :
Research Studies Press ; Wiley,
c1996.
|
| Series: | Advanced software development series ;
4 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Publicado: (1994) -
Logics of specification languages /
Publicado: (2008) -
Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996) -
Computation as logic /
por: Lalement, René.
Publicado: (1993) -
Meta-logics and logic programming /
Publicado: (1995)
