Suggested Topics within your search.
Suggested Topics within your search.
- Programming languages-Formal definitions and theory 6
- Lenguajes de programación-Definiciones formales y teoría 5
- Procesadores 2
- Processors 2
- Programas-Especificación 2
- Programas-Verificación 2
- Programs-Specification 2
- Programs-Verification 2
- Software-Requerimientos y especificaciones 2
- Software-Requirements and specifications 2
- 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
- Clasificación de los lenguajes 1
- Concurrent programming 1
- Concurrent systems 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Design styles 1
- Distributed systems 1
- Estilos de diseño 1
- Estudios de construcción de programas 1
- Formal languages 1
- Grammars and other rewriting systems 1
- Gramáticas y otros sistemas de reescritura 1
- Ingeniería de software 1
- Inteligencia artificial-Aplicaciones y sistemas expertos 1
- Language classifications 1
-
1
Languages and compilers for parallel computing /
Published 1996Subjects: “…Lenguajes de programación-Definiciónes formales y teoría.…”
Conference Proceeding Book -
2
Process algebra and probabilistic methods : perfomance modeling and verification /
Published 2002Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
Conference Proceeding Book -
3
FME'96 : industrial benefit and advances in formal methods /
Published 1996Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
Conference Proceeding Book -
4
Recent trends in data type specification /
Published 1995Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
Conference Proceeding Book -
5
Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /
Published 1995Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
Conference Proceeding Book -
6
Programming languages : implementations, logics and programs : 8th international symposium, PLILP ’96, Aachen, Germany, September 24-27, 1996 : proceedings /
Published 1996Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
Conference Proceeding Book