Suggested Topics within your search.
Suggested Topics within your search.
- Organización y diseño
- Organization and design 4
- Analysis of algorithms and problem complexity 1
- Análisis de algoritmos y problemas de complejidad 1
- Computación mediante dispositivos abstractos 1
- Computation by abstract devices 1
- Control structure reliability, testing and fault tolerance-Harware 1
- Discrete mathematics 1
- Distributed systems 1
- Entornos de programación 1
- Lenguajes de programación 1
- Logics and meanings of programs 1
- Lógica y significado de programas 1
- Matemática discreta 1
- Modes of computation 1
- Modos de computación 1
- Operating systems 1
- Procesadores 1
- Procesadores-Arquitectura 1
- Processor Architectures 1
- Processors 1
- Programas-Especificación 1
- Programas-Verificación 1
- Programming environments 1
- Programming languages 1
- Programs-Specification 1
- Programs-Verification 1
- Real-time systems 1
- Reliability, testing and fault tolerance-Memory 1
- Reliability-Operating systems 1
-
1
-
2
-
3
Formal techniques in real-time and fault-tolerant systems /
Published 1996Conference Proceeding Book -
4