机读格式显示(MARC)

• 000 01082nam a2200325 a 4500

• 001 0000410125

• 003 SCNU

• 005 20110602091519.0

• 008 101215s2010 cc a b 000 0 eng d

• 020 __ |a 9787121119231

• 020 __ |a 7121119234

• 040 __ |a PUL |c PUL |d PUL

• 093 __ |a TP311.5 |2 4

• 099 __ |a CAL 022010270287

• 100 1_ |a Yuan, Yuyu |9 (袁玉宇)

• 245 10 |a Research on key technologies of software trustworthiness = |b 可信软件若干关键技术的研究 / |c 袁玉宇, Witold Suryn, Jorgen Boegh著.

• 246 31 |a 可信软件若干关键技术的研究

• 260 __ |a Beijing : |b Publishing House of Electronics Industry, |c 2010

• 300 __ |a 225 p. : |b ill. ; |c 24 cm.

• 504 __ |a Includes bibliographical references.

• 650 _0 |a Software engineering.

• 650 _0 |a Computer Programming.

• 650 _0 |a Computer software Verification.

• 700 1_ |a Suryn, Witold.

• 700 1_ |a Begh, Jrgen.

• 950 __ |a SCNU |f TP311.5/Y94

• 999 __ |t C |A zxq |a 20110519 10:40:00 |M zxq |m 20110602 09:15:19 |G zxq |g 20110602 09:17:05

• 000 1000023892

• 991 __ |a 022011000155

• 907 __ |a SCNU |f TP311.5/Y94