{"product_id":"model-checking-quantum-systems-principles-and-algorithms-hardback-9781108484305","title":"Model Checking Quantum Systems; Principles and Algorithms (Hardback) 9781108484305","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eModel Checking Quantum Systems\u003c\/font\u003e\u003cbr\u003e\r\n\u003cfont size=\"5\"\u003ePrinciples and Algorithms\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cem\u003eThe first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eMingsheng Ying (Author), Yuan Feng (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9781108484305, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 4 February 2021\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e220 pages\u003cbr\u003e25 x 17.5 x 1.7 cm, 0.52 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e'A brief final chapter offering conclusions and future prospects will be of wider interest. This work is intended as an introduction for researchers entering the field of quantum computing, and is suitable as a textbook for physics or computer science graduate students … Recommended.' M. C. Ogilvie, Choice Magazine\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eModel 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.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e1. Introduction\u003cbr\u003e 2. Basics of Model Checking\u003cbr\u003e 3. Basics of Quantum Theory\u003cbr\u003e 4. Model Checking\u003cbr\u003e 5. Model Checking Quantum Markov Chains\u003cbr\u003e 6. Model Checking Super-operator-valued Markov Chains\u003cbr\u003e 7. Conclusions and Prospects.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Computer architecture \u0026amp; logic design [\u003ca title=\"See our other books on Computer architecture \u0026amp; logic design\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Computer%20architecture%20\u0026amp;%20logic%20design%20%5BUYF%5D%22\"\u003eUYF\u003c\/a\u003e], Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e], Quantum physics [\u003ca title=\"See our other books on Quantum physics\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Quantum%20physics%20%5Bquantum%20mechanics%20\u0026amp;%20quantum%20field%20theory%5D%20%5BPHQ%5D%22\"\u003equantum mechanics \u0026amp; quantum field theory PHQ\u003c\/a\u003e], Information theory [\u003ca title=\"See our other books on Information theory\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Information%20theory%20%5BGPF%5D%22\"\u003eGPF\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46005797519640,"sku":"9781108484305","price":47.47,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9781108484305i_0f8bb0d7-10ea-4abc-95cb-0829765e0403.jpg?v=1696706241","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/model-checking-quantum-systems-principles-and-algorithms-hardback-9781108484305","provider":"Freshly Printed Books","version":"1.0","type":"link"}