Showing 1 - 1 results of 1 for search 'Lévy, Jean-Jacques, 1947-', query time: 0.02s
Refine Results
-
1
Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /
Published 1995Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Analysis of algorithms and problem complexity
Análisis de algoritmos y problemas de complejidad
Clasificación de los lenguajes
Concurrent systems
Deducción y prueba de teoremas
Deduction and theorem proving
Distributed systems
Language classifications
Lenguajes de programación-Definiciones formales y teoría
Programming languages-Formal definitions and theory
Sistemas concurrentes
Sistemas distribuidos
Software-Requerimientos y especificaciones
Software-Requirements and specifications