- Administración de sistemas de computación y de información 1
- Computación mediante dispositivos abstractos 1
- Computadoras y educación 1
- Computers and education 1
- Deducción y prueba de teoremas 1
- Discrete mathematics 1
- Distributed systems 1
- Ingeniería de software 1
- Lenguajes de programación-Definiciones formales y teoría 1
- Lenguajes formales 1
- Lógica matemática 1
- Lógica y significado de programas 1
- Management of computing and information systems 1
- Matemática discreta 1
- Programación-Técnicas 1
- Programas-Especificación 1
- Programas-Verificación 1
- Programming languages-Formal definitions and theory 1
- Programming techniques 1
- Programs-Specification 1
- Programs-Verification 1
- Representación del conocimiento, métodos, formas y scripts 1
- Sistemas distribuidos 1
- Software engineering 1
- Teoría de la computación 1
- Theory of computation 1
-
1
Computer science logic /
Published 1994“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
-
3
Formal methods for industrial applications : specifying and programming the steam boiler control /
Published 1996“…Lecture notes in computer science ;…”
Book