机读格式显示(MARC)

• 000 01133cam a2200349Ia 4500

• 001 0000288589

• 003 OCoLC

• 005 20080328143800.0

• 008 050617s2005 nyua b 001 0 eng d

• 010 __ |a 2006275155

• 015 __ |a GBA557337

• 020 __ |a 0387240195 (hbk.)

• 020 __ |a 0387240217 (e-ISBN)

• 024 3_ |a 9780387240190

• 040 __ |a OHX |c OHX |d UKM |d CUS |d BAKER |d OCLCQ |d DLC |d NTU

• 050 00 |a TK7874.65 |b T39 2005

• 072 _7 |a TK |2 lcco

• 082 04 |a 621.3815 |2 22

• 090 __ |a TN431.2/BB6

• 093 __ |a TN431.2 |2 4

• 095 __ |a TUL

• 245 00 |a Taxonomies for the development and verification of digital systems / |c edited by Brian Bailey, Grant Martin, Thomas Anderson.

• 260 __ |a New York : |b Springer, |c c2005.

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

• 504 __ |a Includes bibliographical references (p. [169]-171) and index.

• 650 _0 |a Digital integrated circuits |x Design and construction.

• 650 _0 |a Integrated circuits |x Verification.

• 650 _0 |a Digital communications.

• 700 1_ |a Bailey, Brian, |d 1959-

• 700 1_ |a Martin, Grant.

• 700 1_ |a Anderson, Thomas, |d 1950-

• 920 __ |a 233030 |z 2