- Programming languages-Formal definitions and theory
- Lenguajes de programación-Definiciones formales y teoría 8
- Ingeniería de software 4
- Programas-Especificación 4
- Programs-Specification 4
- Software engineering 4
- Procesadores 3
- Processors 3
- Programas-Verificación 3
- Programs-Verification 3
- Software-Requerimientos y especificaciones 3
- Distributed systems 2
- Grammars and other rewriting systems 2
- Gramáticas y otros sistemas de reescritura 2
- Programación-Técnicas 2
- Programming techniques 2
- Semantics of programming languages 2
- Sistemas distribuidos 2
- Software-Herramientas y técnicas 2
- Software-Requirements and specifications 2
- Administración de sistemas de computación y de información 1
- Administración de software 1
- Administrative data processing 1
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Applicative programming 1
- Artificial intelligence-Applications and expert systems 1
- Automatic programming 1
- Clasificación de los lenguajes 1
- Concurrent programming 1
-
1
Process algebra and probabilistic methods : perfomance modeling and verification /
Published 2002Conference Proceeding Book -
2
-
3
-
4
-
5
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Conference Proceeding Book -
6
-
7
-
8
FME'96 : industrial benefit and advances in formal methods /
Published 1996Conference Proceeding Book -
9
Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /
Published 1995Conference Proceeding Book -
10