机读格式显示(MARC)
- 000 01310cam 2200349 a 4500
- 008 070830r20072006cc b 001 0 eng d
- 020 __ |a 9787302154280 (v. 1)
- 020 __ |a 9787302154327 (v. 2)
- 020 __ |a 9787302154273 (v. 3)
- 099 __ |a CAL 022007099173
- 100 1_ |a Bjorner, D. |q (Dines), |d 1937-
- 245 10 |a Software engineering = |b 软件工程 / |c Dines. Bjorner.
- 260 __ |a 北京 : |b 清华大学出版社, |c 2007.
- 300 __ |a 3 v. : |b ill. ; |c 24 cm.
- 440 _0 |a 大学计算机教育国外著名教材系列(影印版)
- 504 __ |a Includes bibliographical references and indexes.
- 505 00 |g v. 1. |t Abstraction and modelling = 抽象与建模 -- |g v. 2. |t Specification of systems and languages = 系统与语言规约 -- |g v. 3. |t Domains, requirements, and software design = 领域、需求与软件设计.
- 534 __ |p Reprint. Originally published: |c Berlin : Springer, c2006. |z 3540211497 (v. 1), |z 3540211500 (v. 2), |z 3540211519 (v. 3)
- 650 _0 |a Software engineering.
- 650 _0 |a Computer programming.
- 950 __ |a SCNU |f TP311.5/B626
- 999 __ |M zxq |m 20080421 16:12:07 |G zxq |g 20080421 16:12:17
- 907 __ |a SCNU |f TP311.5/B626