Model Checking Quantum Systems

Model Checking Quantum Systems

Författare: Yuan Feng, Mingsheng Ying
Förlag: Cambridge University Press
Utgivningsår: 2021
ISBN: 9781108484305

Välj hur du vill läsa

0

Betala med Klarna
14 dagars ångerrätt
The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

Du kanske också gillar