机读格式显示(MARC)
- 010 __ |a 7-312-01354-6 |d CNY18.00
- 099 __ |a CAL 012007067064
- 100 __ |a 20070424d2006 ekmy0chiy50 ea
- 200 1_ |a Z形式规约切片的研究 |A Z xing shi gui yao qie pian de yan jiu |d = Research on Z formal specifications slicing |f 吴方君著 |z eng
- 210 __ |a 合肥 |c 中国科学技术大学出版社 |d 2006
- 215 __ |a 185页 |c 图 |d 21cm
- 225 2_ |a 江西财经大学博士论文文库 |A jiang xi cai jing da xue bo shi lun wen wen ku
- 320 __ |a 有书目 (第172-185页)
- 330 __ |a 本书充分利用已有的程序切片和依赖性分析技术,结合国内外在形式规约切片及其应用方面的最新研究动态,在Z形式规约切片及其应用方面展开研究工作。
- 410 _0 |1 2001 |a 江西财经大学博士论文文库
- 510 1_ |a Research on Z formal specifications slicing |z eng
- 606 0_ |a 形式语言 |A xing shi yu yan |x 算法语言
- 701 _0 |a 吴方君 |A wu fang jun |4 著
- 801 _0 |a CN |b BIT |c 20070605
- 801 _2 |a CN |b XJT |c 20070914
- 801 _2 |a CN |b SCNU |c 20071202
- 905 __ |a SCNU |f TP301.2/6001
- 999 __ |M gwn |m 20071202 15:58:20 |G gwn |g 20071202 15:58:41
- 907 __ |a SCNU |f TP301.2/6001