Suggested Topics within your search.
Suggested Topics within your search.
- Lenguajes de programación 3
- Programas-Verificación 3
- Programming languages 3
- Programs-Verification
- Programas-Especificación 2
- Programs-Specification 2
- Concurrent programming 1
- Control structure reliability, testing and fault tolerance-Harware 1
- Distributed systems 1
- Lógica matemática 1
- Mathematical logic 1
- Organización y diseño 1
- Organization and design 1
- Procesadores-Arquitectura 1
- Processor Architectures 1
- Programación concurrente 1
- Real-time systems 1
- Reliability, testing and fault tolerance-Memory 1
- Reliability-Operating systems 1
- Sistemas distribuidos 1
-
1
Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /
Published 1995Conference Proceeding Book -
2
-
3
Formal techniques in real-time and fault-tolerant systems /
Published 1996Conference Proceeding Book