- Software-Herramientas y técnicas 14
- Software-Tools and techniques 11
- Program verification 8
- Verificación de programas 8
- Lógica y significado de programas 7
- Asistencia de diseños 5
- Design aids 5
- Logics and meanings of programs 5
- Lógica matemática 4
- Mathematical logic 4
- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Distributed systems 3
- Language classifications 3
- Sistemas con propósito y aplicaciones especiales 3
- Sistemas distribuidos 3
- Software-Design 3
- Software-Diseño 3
- Software-Requerimientos y especificaciones 3
- Special-purpose and application-based systems 3
- Algoritmos no numéricos y problemas 2
- Applicative programming 2
- Computer-aided engineering 2
- Geometría computacional y modelado de objetos 2
- Graph theory 2
- Herramientas y técnicas 2
- Nonnumerical algorithms and problems 2
- Programación aplicativa 2
- Programas-Especificación 2
- Programming languages-Formal definitions and theory 2
-
1
Tecnologías apropiadas, memorias del I Encuentro del Mercosur ampliado : maquinarias y herramientas para la agricultura familiar /
Published 2011Subjects:Conference Proceeding Book -
2
-
3
Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /
Published 1996Subjects:Conference Proceeding Book -
4
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice...
Published 2009Subjects:Conference Proceeding Book -
5
Tools and algorithms for the construction and analysis of systems /
Published 1997Subjects:Conference Proceeding Book -
6
Tools and algorithms for the construction and analysis of systems /
Published 1996Subjects:Conference Proceeding Book -
7
-
8
-
9
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /
Published 2007Subjects:Conference Proceeding Book -
10
Graph drawing : Symposium on Graph Drawing, GD ’95, Passau, Germany, September 20-22, 1995 : proceedings /
Published 1996Subjects:Conference Proceeding Book -
11
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /
Published 2008Subjects:Conference Proceeding Book -
12
-
13
-
14
Human-computer interaction : 5th international conference , EWHCI ’95, Moscow, Russia, July 3-7, 1995 : selected papers /
Published 1995Subjects: “…Ingeniería de software-Herramientas y técnicas.…”
Conference Proceeding Book -
15
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects:Conference Proceeding Book -
16
-
17
-
18
OOER'95 : object-oriented and entity-relationship modeling /
Published 1995Subjects:Conference Proceeding Book