机读格式显示(MARC)
- 000 00759nam0 2200241 450
- 010 __ |a 978-7-313-13821-7 |b 精装 |d CNY88.00
- 100 __ |a 20160405d2015 em y0chiy50 ea
- 200 1_ |a 概率进程语义 |A Gai Lv Jin Cheng Yu Yi |e 英文版 |d = Semantics of probabilistic processes |f 邓玉欣著 |z eng
- 210 __ |a 上海 |c 上海交通大学出版社 |d 2015
- 300 __ |a 国家科学技术学术著作出版基金资助出版
- 510 1_ |a Semantics of probabilistic processes |z eng
- 606 0_ |a 概率 |A Gai Lv |x 计算模型 |j 英文
- 701 _0 |a 邓玉欣 |A Deng Yu Xin |4 著
- 801 _0 |a CN |b LIB |c 20180331
- 905 __ |a LIB |d O211.6/63