机读格式显示(MARC)

• 000 00852nam a2200241 a 4500

• 001 0000374754

• 005 20101014103800.0

• 008 940317s2009 enka b 001 0 eng d

• 020 __ |a 9780521115322 (pbk.)

• 020 __ |a 0521115329 (pbk.)

• 040 __ |a Uk |c Uk |d WMM |d DLC

• 090 __ |a TP303/BM5

• 093 __ |a TP303 |2 4

• 100 1_ |a Melham, T. F. |q (Tom F.)

• 245 10 |a Higher order logic and hardware verification / |c T. Melham.

• 260 __ |a Cambridge : |b Cambridge University Press, |c 2009.

• 300 __ |a xiii, 165 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Cambridge tracts in theoretical computer science ; |v 31.

• 500 __ |a Originally published: 1993.

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Integrated circuits |x Very large scale integration |x Data processing.

• 650 _0 |a Logic, Symbolic and mathematical.

• 920 __ |a 233030 |z 2