机读格式显示(MARC)

• 000 01156cam 2200313 450

• 001 0000124968

• 005 20071203141900.0

• 010 __ |a 7-312-01354-6 |d CNY18.00

• 099 __ |a CAL 012007067064

• 100 __ |a 20070424d2006 ekmy0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 340100

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a Z形式规约切片的研究 |A Z Xing Shi Gui Yue 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 算法语言

• 690 __ |a TP301 |v 4

• 701 _0 |a 吴方君 |A Wu Fang Jun |4 著

• 801 _0 |a CN |b BIT |c 20070605

• 801 _2 |a CN |b XJT |c 20070914

• 905 __ |a LJUZC |d TP301/17

• 920 __ |a 222016 |z 1