机读格式显示(MARC)

• 000 00821nam0 2200241 450

• 001 0000514515

• 005 20211016094200.0

• 010 __ |a 978-7-111-68222-6 |d CNY99.00

• 101 0_ |a chi

• 092 __ |b 百万庄15502300379

• 100 __ |a 20210616d2021 em y0chiy50 ea

• 102 __ |a CN |b 110000

• 200 1_ |a 计算机科学的逻辑基础 |A Ji Suan Ji Ke Xue De Luo Ji Ji Chu |f (美)雷克斯·佩奇(Rex Page), (美)鲁本·冈博亚 (Ruben Gamboa)著

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

• 215 __ |a 236页 |d 26cm

• 330 __ |a 本书介绍如何将谓词逻辑应用于软件和数字电路的测试和验证，重点是应用而不是理论。

• 333 __ |a 高等院校计算机、软件工程、人工智能等相关专业的师生

• 690 __ |a TP302.2 |v 5

• 701 _1 |4 著 |a 佩奇 |A Pei Qi

• 702 _1 |a 汪荣贵 |A Wang Rong Gui

• 801 _0 |a CN |b WFKJXY |c 20210930

• 905 __ |a WFKJXY |d TP302.2/7

• 920 __ |a 4370400 |z 1