机读格式显示(MARC)
- 000 01114nam0 2200301 450
- 010 __ |a 7-5053-9339-1 |d CNY57.00
- 100 __ |a 20200902d2004 em y0chiy0110 ea
- 200 1_ |a B方法 |9 BFang Fa |f (美)J-R Abrial著 |g 裘宗燕译
- 210 __ |a 北京 |c 电子工业出版社 |d 2004
- 215 __ |a 22,526页 |d 22,526页
- 330 __ |a 本书针对B方法这一重要的实用性软件形式化方法之一,介绍了B方法所用的数学基础,用其描述软件系统规范的语言记法,及基本程序结构和程序实例等。
- 461 _0 |1 200 |a 国外计算机科学教材系列
- 701 _0 |a J-R Abrial |9 J-RAbrial |c 美 |4 著
- 801 _0 |a CN |b 西安网众图书服务有限公司 |c 20200902
- 905 __ |a SYXY |d TP311/20YZ
- 909 __ |a 12805 |b 1K012805 |c 57.00 |d TSC |t 2020-07-25 11:52:23 |x TP311/20 |e 中文图书
- 909 __ |a 12806 |b 1K012806 |c 57.00 |d TSC |t 2020-07-25 11:52:24 |x TP311/20 |e 中文图书
- 909 __ |a 12807 |b 1K012807 |c 57.00 |d TSC |t 2020-07-25 11:52:24 |x TP311/20 |e 中文图书