Model Checking Quantum Systems
Autor:
Yuan Feng
Dostępność:
Dostępna u dostawcy
Wysyłamy za 9-15 dni
332.60
zł
The first book introducing computer aided verification techniques for quantum systems with quantum c...