Model Checking Quantum Systems

Model Checking Quantum Systems

Forfatter: Yuan Feng, Mingsheng Ying
Forlag: Cambridge University Press
Udgivelsesdato: 2021
ISBN: 9781108484305

Køb bogen

0

Betal med Klarna
14 dages fortrydelsesret
The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

Du kan måske også lide

Køb bogen0