- Lógica matemática 8
- Mathematical logic 8
- Formal languages 6
- Lenguajes formales 6
- Logics and meanings of programs 3
- Lógica y significado de programas 3
- Discrete mathematics 2
- Matemática discreta 2
- Program verification 2
- Programas-Especificación 2
- Programs-Specification 2
- Verificación de programas 2
- Administración de bases de datos 1
- Asistencia de diseños 1
- Automatic programming 1
- Complejidad computacional 1
- Computación por dispositivos abstractos 1
- Computation by abstractc devices 1
- Computational complexity 1
- Concurrent programming 1
- Concurrent systems 1
- Criptología 1
- Cryptology 1
- Data encryption 1
- Data structures 1
- Database management 1
- Design aids 1
- Diseño lógico 1
- Encriptamiento de datos 1
- Especificaciones 1
-
1
Fundamentals of algebraic specification /
Published 1985“…EATCS monographs on theoretical computer science ;…”
Book -
2
-
3
Temporal logic of programs /
Published 1987“…EATCS monographs on theoretical computer science ;…”
Book -
4
Semirings, automata, languages /
Published 1986“…EATCS monographs on theoretical computer science ;…”
Book -
5
Nonsequential processes : a Petri net view /
Published 1988“…EATCS monographs on theoretical computer science ;…”
Book -
6
-
7
Computing in horn clause theories.
Published 1988“…EATCS monographs on theoretical computer science ;…”
Book -
8
Specification and analysis of concurrent systems : the cosy approach /
Published 1992“…EATCS monographs on theoretical computer science ;…”
Book -
9
Compiler generators : what they can do, what they might do, and what they will probably never do /
Published 1990“…EATCS monographs on theoretical computer science ;…”
Book -
10
Relations and graphs : discrete mathematics for computer scientists /
Published 1993“…EATCS monographs on theoretical computer science…”
Book -
11
Iteration theories : the equational logic of iterative processes /
Published 1993“…EATCS monographs on theoretical computer science…”
Book -
12
-
13
-
14
-
15
-
16
-
17
-
18