Model Checking Quantum Systems: Principles and Algorithms
Jianxin Wu, Mingsheng YingКатегории:
Год:
2020
Издательство:
Cambridge University Press
Язык:
english
ISBN 10:
1108613322
ISBN 13:
9781108613323
ISBN:
2020041999
Файл:
EPUB, 9.19 MB
IPFS:
,
english, 2020