机读格式显示(MARC)

• 000 00786nam0 2200265 450

• 001 01CN03282241

• 005 20061216113413

• 010 __ |a 7-111-19502-7 |d CNY45.00

• 100 __ |a 20010611d2004 am y0chiy0120 eb

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a 000yy

• 106 __ |a r

• 200 1_ |a 硬件设计验证 |f 兰姆,(Lam, William K.) |9 ying jian she ji yan zheng

• 210 __ |a 北京 |c 机械工业出版社 |d 2007

• 215 __ |a 359页 |c 图 |d 26cm

• 225 __ |a 电子与电气工程丛书 |9 dian zi yu dian qi gong cheng cong shu

• 410 __ |1 2001 |a 电子与电气工程丛书

• 510 __ |a Hardware design verification,simulation and formal method-based approaches,eng

• 606 __ |a 硬件

• 606 __ |a 设计

• 606 __ |a 验证

• 690 __ |a TP303,4 |v 4

• 701 __ |a 兰姆,(Lam, William K.)

• 711 __ |a 王维维