Suggested Topics within your search.
Suggested Topics within your search.
- Lenguajes de programación-Definiciones formales y teoría 2
- Programming languages-Formal definitions and theory 2
- Software-Requerimientos y especificaciones 2
- Software-Requirements and specifications
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Clasificación de los lenguajes 1
- Concurrent systems 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Distributed systems 1
- Language classifications 1
- Programas-Especificación 1
- Programs-Specification 1
- Semantica de lenguajes de programación 1
- Semantics of programming languages 1
- Sistemas concurrentes 1
- Sistemas distribuidos 1
- Software-Design 1
- Software-Diseño 1
- Software-Herramientas y técnicas 1
- Software-Tools and techniques 1
-
1
Recent trends in data type specification /
Published 1995Subjects: “…Lenguajes de programación-Definiciones formales y teoría.…”
Conference Proceeding Book -
2
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