1 电子书 M.K. Luo
J. Lawson & Ying Ming Liu: Domain Theory, Logic and Computation
Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about c …
PDF
英语
DRM
€166.93
