Model Checking Quantum Systems
-10%
portes grátis
Model Checking Quantum Systems
Principles and Algorithms
Ying, Mingsheng; Feng, Yuan
Cambridge University Press
02/2021
220
Dura
Inglês
9781108484305
15 a 20 dias
520
Descrição não disponível.
1. Introduction; 2. Basics of Model Checking; 3. Basics of Quantum Theory; 4. Model Checking; 5. Model Checking Quantum Markov Chains; 6. Model Checking Super-operator-valued Markov Chains; 7. Conclusions and Prospects.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
1. Introduction; 2. Basics of Model Checking; 3. Basics of Quantum Theory; 4. Model Checking; 5. Model Checking Quantum Markov Chains; 6. Model Checking Super-operator-valued Markov Chains; 7. Conclusions and Prospects.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
