- Microprogramación 2
- Microprogramming 2
- Algebras no conmutativas 1
- Anillos no conmutativos 1
- Arquitectura de computadoras 1
- Computer architecture 1
- Computer-aided engineering 1
- Control de estructuras 1
- Control structure performance analysis and design 1
- Deduction and theorem proving 1
- Design aids 1
- Hardware-Reliability, testing and fault tolerance 1
- Ingeniería asistida por computadoras 1
- Integrated circuits-Design aids 1
- Integrated circuits-Reliability and testing 1
- Logic design-Reliability and testing 1
- Mathematical logic-Computation 1
- Microprogram design Aids 1
- Microprogram design aids 1
- Noncommutative algebras 1
- Noncommutative rings 1
- Operational semantics 1
- Perfomance analysis and design aids 1
- Perfomance de sistemas 1
- Perfomance of systems 1
- Program verification 1
- Semantics of programming languages 1
- Semántica de lenguaje de programación 1
- Semántica operacional 1
- Specifying and verifying and reasoning about programs 1
-
1
-
2
-
3
-
4
-
5