机读格式显示(MARC)

• 000 01033nam2 2200325 4500

• 000 1000006926

• 001 0000163263

• 003 CAL

• 005 20050124154027.0

• 008 981216s1980 mdua b 001 0 eng d

• 020 __ |a 0914894625 |c CNY1.10

• 040 __ |a XAIT |c XAIT

• 050 00 |a TK7888.4 |b .R67

• 082 00 |a 621.3819/5835

• 090 __ |a TP306/E40

• 093 __ |a TP306 |2 4

• 099 __ |a CAL 022000334509 |a CAL 022000404980

• 100 1_ |a Roth, J. Paul |q (John Paul), |d 1922-

• 245 10 |a Computer logic, testing, and verification / |c J. Paul Roth.

• 260 __ |a Potomac, Md. : |b Computer Science Press, |c c1980.

• 300 __ |a xx, 176 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Digital system design series

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Logic design.

• 650 _0 |a Logic circuits.

• 905 __ |a XATU |d TP306/E40

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP306/E40

• 991 __022005002929

• 999 __ |t C |A shenxiaoyan |a 20050124 15:38:27 |M shenxiaoyan |m 20050124 15:40:27 |G shenxiaoyan |g 20050124 15:40:5