Books by Mingsheng Ying
3 titles available, newest first by original publication date.
Model Checking Quantum Systems
Mingsheng Ying
$90.99
Foundations of Quantum Programming
Foundations of Quantum Programming
Mingsheng Ying
$154.99
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Mingsheng Ying
$67.99