机读格式显示(MARC)
- 000 01333pam a2200361 a 4500
- 008 080924r20082004cc a b 001 0 eng d
- 017 __ |a CN |b 01-2008-2285
- 020 __ |a 9787302183174 |c CNY45.00
- 040 __ |a TSU |c TSU |d PUL |d SCT
- 050 _4 |a QA76.76.D47 |b L58 2004
- 099 __ |a CAL 022008125655 |a CAL 0220130001805m
- 100 1_ |a Liu, Shaoying |9 (刘少英)
- 245 10 |a Formal engineering for industrial software development : |b using the SOFL method = 软件开发的形式化工程方法 : 结构化+面向对象+形式化 / |c Shaoying Liu著.
- 246 31 |a Formal engineering for industrial software development : |b using the SOFL method
- 260 __ |a 北京 : |b 清华大学出版社, |c 2008.
- 300 __ |a xxii, 408 p. : |b ill. ; |c 26 cm.
- 336 __ |a text |2 rdacontent
- 337 __ |a unmediated |2 rdamedia
- 338 __ |a volume |2 rdacarrier
- 440 _0 |a 国外经典教材. |p 计算机科学与技术
- 500 __ |a English title is from English title page.
- 504 __ |a Includes bibliographical references (p. [383]-389) and index.
- 534 __ |p Reprint. Originally published: |c Berlin ; New York : Springer, 2004. |z 3540206027.
- 650 _0 |a Computer software |x Development.