000			01373nam a2200217Ia 4500
005			20250424130756.0
008			240821s9999 xx 000 0 und d
020			_a9781108484305 _qhbk
041			_aeng
082			_a006.3843 _bYIN
100			_aYing, Mingsheng
245		0	_aModel checking quantum systems : principles and algorithms _c/ Mingsheng Ying and Yuan Feng
250			_a1st ed
260			_b: Cambridge University Press _c, 2021 _aCambridge
300			_axi, 209 p. _c; 25 cm.
504			_aBiblio
520			_aModel 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.
650			_aQuantum computing.
700			_aFeng, Yuan
942			_cREF
999			_c524402 _d524402