This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software development. Throug

Quantum mechanics, the subfield of physics that describes the behavior of very small (quantum) particles, provides the basis for a new paradigm of computing. Fi

In the 1990's it was realized that quantum physics has some spectacular applications in computer science. This book is a concise introduction to quantum computa

A thorough exposition of quantum computing and the underlying concepts of quantum physics, with explanations of the relevant mathematics and numerous examples.

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.