Reading Length
Home
Speed Tests
Login
Mingsheng Ying
Identifiers
Open Library
OL2683478A
Top Subjects
Algebraic topology (1)
Parallel processing (Electronic computers) (1)
Computer programming (1)
Books by Mingsheng Ying
Total count: 3
Topology in process calculus
approximate correctness and infinite evolution of concurrent programs
Springer
2001-01-01
Foundations of Quantum Programming
Elsevier Science & Technology Books
2016-01-01
Model Checking Quantum Systems
Cambridge University Press
2021-01-01
