Model 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.
Pris: kr 699.00 fra Norli
Butikk | Pris | |
---|---|---|
kr 699.00 | Besøk butikk |
<P>Since this classic book was first published in 2003, sustainability has increasingly been accepted as standard business practice for leading corporations, while the science itself has revealed how human activity has become the dominant force...
kr 719.00
Mer informasjon
A highly interdisciplinary overview of the emerging topic of the Quantum Internet. Current and future quantum technologies are covered in detail, in addition to their global socio-economic impact. Written in an engaging style and accessible to graduate...
kr 649.00
Mer informasjon
<P><EM>Technology-enabled Mathematics Education</EM> explores how teachers of mathematics are using digital technologies to enhance student engagement in classrooms, from the early years through to the senior years of school. </P><P>The...
kr 1569.00
Mer informasjon
<p>Stories in Midwifery 2<SUP>nd</SUP> edition presents an insightful collection of personal stories as told by a range of women, midwives, students, health professionals and family members. This unique resource offers midwifery students...
kr 479.00
Mer informasjon