- Lenguajes de programación 6
- Programming languages
- Programas-Verificación 3
- Programs-Verification 3
- Logics and meanings of programs 2
- Lógica matemática 2
- Lógica y significado de programas 2
- Mathematical logic 2
- Programas-Especificación 2
- Programs-Specification 2
- Computación mediante dispositivos abstractos 1
- Computation by abstract devices 1
- Concurrent programming 1
- Control structure reliability, testing and fault tolerance-Harware 1
- Distributed systems 1
- Formal languages 1
- Ingeniería de software 1
- Lenguajes formales 1
- Organización y diseño 1
- Organization and design 1
- Procesadores-Arquitectura 1
- Processor Architectures 1
- Programación concurrente 1
- Programación-Técnicas 1
- Programming techniques 1
- Real-time systems 1
- Reliability, testing and fault tolerance-Memory 1
- Reliability-Operating systems 1
- Sistemas distribuidos 1
- Software engineering 1
-
1
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995Conference Proceeding Book -
2
Proceedings of the workshop on implementation of lazy functional languages /
Published 1988Conference Proceeding Book -
3
-
4
-
5
-
6
Formal techniques in real-time and fault-tolerant systems /
Published 1996Conference Proceeding Book