机读格式显示(MARC)
- 000 01164nam a2200361 a 4500
- 008 050415s2005 nyua b 001 0 eng
- 020 __ |a 007144372X (alk. paper)
- 040 __ |a DLC |c DLC |d C#P
- 050 00 |a TK7874.58 |b .P47 2005
- 099 __ |a CAL 022007141204
- 100 1_ |a Perry, Douglas L.
- 245 10 |a Applied formal verification / |c Douglas L. Perry, Harry D. Foster.
- 260 __ |a New York : |b McGraw-Hill, |c c2005.
- 300 __ |a xiv, 237 p. : |b ill. ; |c 24 cm.
- 490 1_ |a Electronic engineering.
- 504 __ |a Includes bibliographical references (p. 227-229) and index.
- 650 _0 |a Integrated circuits |x Verification.
- 650 _0 |a Electronic circuits |x Testing.
- 700 1_ |a Foster, Harry, |d 1956-
- 830 _0 |a McGraw-Hill professional engineering. |p Electronic engineering.
- 950 __ |a SCNU |f TN407/P462
- 999 __ |t C |A zxq |a 20081027 15:35:32 |M zxq |m 20081027 15:36:18 |G zxq |g 20081027 15:36:58
- 907 __ |a SCNU |f TN407/P462