Suggested Topics within your search.
Suggested Topics within your search.
- Programas-Verificación
- Programs-Verification 24
- Programs-Specification 20
- Programas-Especificación 19
- Automatic programming 4
- Programación automática 4
- Programación-Técnicas 4
- Programming techniques 4
- Distributed systems 3
- Ingeniería de software 3
- Lenguajes de programación 3
- Lenguajes de programación-Definiciones formales y teoría 3
- Lógica matemática 3
- Mathematical logic 3
- Programming languages 3
- Programming languages-Formal definitions and theory 3
- Sistemas distribuidos 3
- Software engineering 3
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Diseño lógico 2
- Grammars and other rewriting systems 2
- Gramáticas y otros sistemas de reescritura 2
- Language classifications 2
- Language constructs and features 2
- Logic programming 2
- Modes of computation 2
- Modos de computación 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
-
21
Formal techniques in real-time and fault-tolerant systems /
Published 1996Conference Proceeding Book -
22
-
23
FME'96 : industrial benefit and advances in formal methods /
Published 1996Conference Proceeding Book -
24