Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Artificial intelligence 2
- Computer architecture & logic design 2
- Mathematical theory of computation 2
- Software testing & verification
- Systems analysis & design 2
- Automated and Formal Reasoning 1
- Computer-Aided System Design 1
- Formal Methods 1
- Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning 1
- Formal Verification, Specification, Synthesis, and Testing 1
- Hardware and System Verification 1
-
1Publicado 2020Libro electrónico
-
2Publicado 2021Libro electrónico
