Logic programming : formal methods and practical applications /
Guardado en:
| Otros Autores: | Beierle, Christoph, 1954-, Plümer, Lutz. |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Amsterdam ; New York :
Elsevier,
1995.
|
| Series: | Studies in computer science and artificial intelligence ;
11 |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Publicado: (1993) -
Understanding formal methods /
por: Monin, Jean François, 1960-
Publicado: (2003) -
Formal methods in computing /
Publicado: (2005) -
Constraint logic programming : selected research /
Publicado: (1993) -
Z : an introduction to formal methods /
por: Diller, Antoni.
Publicado: (1994)
