Model Checking Quantum Systems: Principles and Algorithms - Ying, Mingsheng (University of Technology, Sydney) - Libros - Cambridge University Press - 9781108484305 - 4 de febrero de 2021
En caso de que portada y título no coincidan, el título será el correcto

Ying, Mingsheng (University of Technology, Sydney)
Model Checking Quantum Systems: Principles and Algorithms

Precio
Mex$ 1.684
sin IVA

Pedido desde almacén remoto

Entrega prevista 7 - 17 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and exercises included, while researchers and engineers in the related fields can use the techniques in their own work.

240 pages, Worked examples or Exercises

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 4 de febrero de 2021
ISBN13 9781108484305
Editores Cambridge University Press
Páginas 220
Dimensiones 250 × 442 × 20 mm   ·   520 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Ying, Mingsheng (University of Technology, Sydney) ( Ej. Hardcover Book )