Model Checking Quantum Systems: Principles and Algorithms (2021)

Model Checking Quantum Systems\nby Mingsheng Ying\nHardback\nEnglish\n\nDelivery\nUsually delivered in 6\u20137 working days.\n\nBrand new copy from BookCurl \u2013 the UK independent online bookseller.\n\n------------------------------\nBook details\n------------------------------\nAuthor: Mingsheng Ying\nTitle: Model Checking Quantum Systems\nFormat: Hardback\nLanguage: English\nTopic: Mathematical theory of computation\nPublisher: Cambridge University Press\nISBN-13: 9781108484305\nISBN-10: 1108484301\n\n------------------------------\nDescription\n------------------------------\nModel 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 quan.