Model Checking Quantum Systems
Autor:
Yuan Feng
Disponibilitate:
În depozitul extern
Expediem în 9-15 zile
430.89
lei
The first book introducing computer aided verification techniques for quantum systems with quantum c...
