Suggested Topics within your search.
Suggested Topics within your search.
- Software-Herramientas y técnicas
- Software-Tools and techniques 12
- Logics and meanings of programs 6
- Lógica y significado de programas 6
- Program verification 6
- Verificación de programas 6
- Asistencia de diseños 4
- Design aids 4
- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Distributed systems 3
- Language classifications 3
- Lógica matemática 3
- Mathematical logic 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
- Lenguajes de programación 2
- Nonnumerical algorithms and problems 2
- Programación aplicativa 2
- Programas-Especificación 2
- Programming languages 2
-
1
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Conference Proceeding Book -
2
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /
Published 2008Conference Proceeding Book -
3
-
4
-
5
-
6
Tools and algorithms for the construction and analysis of systems /
Published 1997Conference Proceeding Book -
7
-
8
Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text /
Published 1996Conference Proceeding Book -
9
-
10
Tools and algorithms for the construction and analysis of systems /
Published 1996Conference Proceeding Book -
11
-
12
OOER'95 : object-oriented and entity-relationship modeling /
Published 1995Conference Proceeding Book -
13
Graph drawing : Symposium on Graph Drawing, GD ’95, Passau, Germany, September 20-22, 1995 : proceedings /
Published 1996Conference Proceeding Book -
14
-
15