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