177 元券Probabilistic9781441923127AbstractionRefinement¥16070去看看澜瑞图书专营店发布了【3-4周达】Abstraction, Refinement and Proof for Probabilistic Systems (Softcover reprint of hardcove... [9781441923127]