Model checking quantum systems: principles and algorithms
Auteur :
Ying, Mingsheng / Feng, Yuan
Éditeur :
Cambridge University Press
ISBN :
9781108484305
Date de publication :
4 févr. 2021
Dimensions :
25,0 x 17,5 x 1,7 cm
Poids :
520 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.