Logics of specification languages /
Guardado en:
| Otros Autores: | Bjørner, D. 1937-, Henson, Martin C. |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Berlin :
Springer,
c2008.
|
| Series: | Monographs in theoretical computer science
|
| Materias: | |
| Acceso en línea: | Publisher description Table of contents only |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Formal specification of programming languages : a panoramic primer /
por: Pagan, Frank G.
Publicado: (1981) -
Foundations of logic programming /
por: Lloyd, J. W. 1947-
Publicado: (1987) -
Foundations of logic programming /
por: Lloyd, J. W. 1947-
Publicado: (1984) -
Semantics of programming languages /
por: Tennent, R. D., 1944-
Publicado: (1991) -
Semantics of programming languages : structures and techniques /
por: Gunter, Carl A.
Publicado: (1992)
