- Ingeniería de software 2
- Logics and meanings of programs 2
- Lógica y significado de programas 2
- Software engineering 2
- Algebraic manipulation 1
- Artificial intelligence 1
- Distributed systems 1
- Ershov Andrei 1
- Formal languages 1
- Inteligencia artificial 1
- Lenguajes de programación 1
- Lenguajes formales 1
- Lógica matemática 1
- Manipulación algebraica 1
- Mathematical logic 1
- Program verification 1
- Programas-Especificación 1
- Programming languages 1
- Programs-Specification 1
- Sistemas distribuidos 1
- Software-Design 1
- Software-Diseño 1
- Software-Requeriments and specifications 1
- Software-Requerimientos y especificaciones 1
- Verificación de programas 1
-
1
Perspectives of system informatics /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Formal systems specification : the RPC memory specification case study /
Published 1996“…Lecture notes in computer science ;…”
Book -
3
KORSO : methods, languages and tools for the construction of correct software. Final Report /
Published 1995“…Lecture notes in computer science ;…”
Book