Bezmaksas piegāde pasūtījumiem virs 29€

  • check 10+ miljoni grāmatu
  • check Jaunumi katru dienu
  • check Vairāk nekā 1 miljons klientu mums uzticas
  • check Labas cenas un atlaides
  • check Piegāde visā Eiropā

Model Checking Quantum Systems - Yuan Feng,Mingsheng Ying

angļu valoda
2021-02-04
108,02 € 154,31 €

-30% ar kodu BOOKS

Piegādātāja noliktavā

Piegāde 17-23 darba dienu laikā

30 dienu atgriešanas politika

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 quantu ... Pilns apraksts

Jums varētu patikt arī

Aprašymas

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.

Vairāk informācijas

Autors Yuan Feng, Mingsheng Ying
Izdevējs Cambridge University Press
Izlaides gads 2021
Vāka tips Cietais vāks
EAN 9781108484305
Rakstiet savu atsauksmi
Jūs vērtējat: Model Checking Quantum Systems
Jūsu novērtējums:

Goodreads atsauksmes

108,02 € 154,31 €