- Software-Requeriments and specifications
- Software-Requerimientos y especificaciones 7
- Programas-Especificación 4
- Programs-Specification 4
- Lenguajes de programación 2
- Programming languages 2
- Software-Design 2
- Software-Diseño 2
- Administración de sistemas de computación y de información 1
- Algebraic manipulation 1
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Automatic programming 1
- Computación mediante dispositivos abstractos 1
- Computation by abstract devices 1
- Computer networks 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Distributed systems 1
- Hybrid systems 1
- Ingeniería de software 1
- Lenguajes de programación y software 1
- Lenguajes de programación-Descripciones formales y teoría 1
- Management of computing and information systems 1
- Manipulación algebraica 1
- Operating systems-Organization and design 1
- Program verification 1
- Programación automática 1
- Programación-Técnicas 1
- Programming languages and software 1
-
1
-
2
-
3
-
4
-
5
-
6
Design and implementation of symbolic computation systems /
Published 1996Conference Proceeding Book -
7