Compartir
Model Checking Quantum Systems: Principles and Algorithms (en Inglés)
Yuan Feng
(Autor)
·
Mingsheng Ying
(Autor)
·
Cambridge University Press
· Tapa Dura
Model Checking Quantum Systems: Principles and Algorithms (en Inglés) - Ying, Mingsheng ; Feng, Yuan
$ 291.860
$ 583.720
Ahorras: $ 291.860
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: España
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Martes 09 de Julio y el
Viernes 19 de Julio.
Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.
Reseña del libro "Model Checking Quantum Systems: Principles and Algorithms (en Inglés)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Dura.
✓ Producto agregado correctamente al carro, Ir a Pagar.