Model Checking Quantum Systems
- Autor
- Ying/Feng
- Matèria
-
- Computer Science
-
- Physics and Astronomy
-
- Programming Languages and Applied Logic
-
- Quantum Physics
-
- Quantum Information and Quantum Computation
- Editor
- Cambridge University Press
- Data publicació
- 2021
- Identificador
- 9781108613323
- Col·lecció
- Accés https://doi.org/10.1017/9781108613323