Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on computer-aided verification techniques for quantum systems, this book serves as a foundational resource for understanding quantum computing and communication hardware and software. It includes practical examples and exercises tailored for graduates and senior undergraduates, while also providing valuable insights for researchers and engineers to apply these techniques in their professional work.
Achat du livre
Model Checking Quantum Systems, Yuan Feng, Mingsheng Ying
- Langue
- Année de publication
- 2021
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .