Cover Image

Model checking quantum systems : principles and algorithms /

Bibliographic Details
Main Authors:	Ying, Mingsheng (Author), Feng, Yuan, 1977- (Author)
Corporate Author:	Cambridge University Press
Format:	eBook
Language:	English
Published:	Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2021.
Subjects:	Quantum computing. Computer systems > Verification. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Model checking /
by: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Published: (2018)

25 years of model checking : history, achievements, perspectives /
Published: (2008)

Unfoldings : a partial-order approach to model checking /
by: Esparza, Javier
Published: (2008)

Quantum information processing, quantum computing, and quantum error correction : an engineering approach /
by: Djordjevic, Ivan
Published: (2021)

Quantum computing : progress and prospects /
Published: (2019)

Quantum computation with topological codes : from qubit to topological fault-tolerance /
by: Fujii, Keisuke
Published: (2015)

Reversible and quantum circuits : optimization and complexity analysis /
by: Abdessaied, Nabila, et al.
Published: (2016)

Report on post-quantum cryptography /
by: Chen, Lily
Published: (2016)

Examining quantum algorithms for quantum image processing /
by: Li, HaiSheng, 1974-
Published: (2021)

Quantum Mechanics /
by: Basdevant, J. L. (Jean-Louis), et al.
Published: (2002)

Quantum computational number theory /
by: Yan, Song Y.
Published: (2015)

Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning /
by: Coecke, Bob, et al.
Published: (2017)

Formal system verification : state-of the-art and future trends /
Published: (2018)

Learn quantum computing with Python and Q# : a hands-on approach /
by: Kaiser, Sarah, et al.
Published: (2021)

Scalable techniques for formal verification /
by: Ray, Sandip
Published: (2010)

Verification and control of hybrid systems : a symbolic approach /
by: Tabuada, Paulo
Published: (2009)

Limitations and future applications of quantum cryptography /
Published: (2021)

Social laser : application of quantum information and field theories to modeling of social processes /
Published: (2020)

Synthesis of quantum circuits vs. synthesis of classical reversible circuits /
by: Vos, Alexis de, et al.
Published: (2018)

Model checking and artificial intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /
Published: (2009)

Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings /
Published: (2011)

Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings /
Published: (2006)

Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings /
Published: (2009)

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
Published: (2007)

Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /
Published: (2011)

Principles of model checking /
by: Baier, Christel
Published: (2008)

Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers /
Published: (2007)

Model checking and artificial intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised selected and invited papers /
Published: (2011)

Quantum computation and quantum communication : theory and experiments /
by: Pavičić, Mladen
Published: (2006)

Model checking software : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
Published: (2010)

Quantum entanglement, information, and the foundations of quantum mechanics /
by: Jaeger, Gregg
Published: (2009)

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings /
Published: (2005)

Quantum information : an overview /
by: Jaeger, Gregg
Published: (2007)

Introduction to quantum information science /
by: Hayashi, Masahito
Published: (2015)

Quantum approach to informatics /
by: Stenholm, Stig
Published: (2005)

Quantum computing explained /
by: McMahon, David (David M.)
Published: (2008)

Explorations in quantum computing.
by: Williams, Colin P.
Published: (2011)

Taming the quantum world /
Published: (2013)

Introduction to quantum algorithms via linear algebra /
by: Lipton, Richard J., et al.
Published: (2021)

Interactive quantum mechanics : quantum experiments on the computer /
by: Brandt, Siegmund
Published: (2011)