Model Checking Quantum Systems
Autor:
Yuan Feng
Dostupnost:
Skladem u dodavatele
Odesíláme za 9-15 dnů
1 809
Kč
The first book introducing computer aided verification techniques for quantum systems with quantum c...