Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Model Checking Quantum Systems, Yuan Feng, Mingsheng Ying
- Lingua
- Pubblicato
- 2021
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.