Model Checking Quantum Systems: Principles and Algorithms
| Autor: | Mingsheng Ying, Yuan Feng |
| Lehekülgede arv: | 220 |
| Ilmumisaasta: | 2021 |
| Kauba ID: | 16256499 |
Toote kirjeldus: Model Checking Quantum Systems: Principles and Algorithms
Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications.
Üldine tooteinfo: Model Checking Quantum Systems: Principles and Algorithms
| Kauba ID: | 16256499 |
| Kategooria: | Majandusalased raamatud |
| Tootepakendite arv: | 1 tk. |
| Paki suurus ja kaal (1): | 0,3 x 0,3 x 0,1 m, 0,2 kg |
| Kirjastus: | Cambridge University Press |
| Raamatu keel: | Inglise keel |
| Kaane tüüp: | Pole informatsiooni |
| Vorming: | Traditsiooniline raamat |
| Tüüp: | Majandusteadus |
| Raamat väljavõttega: | Ei |
| Autor: | Mingsheng Ying, Yuan Feng |
| Lehekülgede arv: | 220 |
| Ilmumisaasta: | 2021 |
Toodete pildid on illustratiivsed ja näitlikud. Tootekirjelduses sisalduvad videolingid on ainult informatiivsetel eesmärkidel, seega võib neis sisalduv teave erineda tootest endast. Värvid, märkused, parameetrid, mõõtmed, suurused, funktsioonid, ja / või originaaltoodete muud omadused võivad nende tegelikust väljanägemisest erineda, seega palun tutvuge tootekirjeldustes toodud tootespetsifikatsioonidega.
Hinnangud ja arvustused (0)
Küsimused ja vastused (0)
Soovitame osta koos: Model Checking Quantum Systems: Principles and Algorithms
Pakkumised teistelt müüjatelt (1)
*Konkreetse Müüja pakkumiste suhtes kehtivad tingimused, mis on Müüja määranud antud kauba jaoks ja kogu kaubas sisalduva teabe (sealhulgas ka hinna) eest vastutab Müüja.

PLUS pakkumised hubase kodu loomiseks. Avastage oma lemmikbrändid >>