Model Checking Quantum Systems
Principles and Algorithms
Vše od
Cambridge University Press
ISBN: 9781108484305
This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and exercises included, while researchers and engineers in the...
1 906 Kč
- 1 - 2 ks
- 1 906 Kč
- 3 - 10 ks
- 1 887 Kč
- 11 a více ks
- 1 869 Kč
Předpoklad doručení do 30. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Cambridge University Press ↓
1 906 Kč
Více o produktu ↓
This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and exercises included, while researchers and engineers in the related fields can use the techniques in their own work.
- Výrobce
- Cambridge University Press
- Jazyk
- United Kingdom
- Autor
- Ying, Mingsheng (University of Technology, Sydney);Feng, Yuan (University of Technology, Sydney)
- Rozměry
- 442 x 250 x 20
- Rok vydání
- 2021
- Počet stran
- 220
- Obsah
- Hardback
- Hmotnost
- 520
- Počet stran
- 220 pages, Worked examples or Exercises
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Model Checking Quantum Systems a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
