机读格式显示(MARC)

• 000 01744nam 2200421 450

• 000 0000278235

• 001 0000224355

• 005 20080925112119.0

• 010 __ |a 978-7-111-21397-0 |d CNY39.00

• 099 __ |a CAL 012007085009

• 100 __ |a 20070905d2007 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 面向计算机科学的数理逻辑 |A mian xiang ji suan ji ke xue de shu li luo ji |e 系统建模与推理 |d = Logic in computer science |e modelling and reasoning about systems |f (德) Michael Huth, (英) Mark Ryan著 |g 何伟, 樊磊译 |z eng

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

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

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 305 __ |a 据原书2004年英文版第2版译出

• 306 __ |a 由英国剑桥大学出版社授权机械工业出版社出版

• 314 __ |a 责任者Huth规范汉译姓: 胡特

• 320 __ |a 有书目 (第275-277页)

• 330 __ |a 本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、LOwenheim-Skolem定理等，并介绍了AHoy语言和NuSMV工具等内容。

• 410 _0 |1 2001 |a 计算机科学丛书

• 500 10 |a Logic in computer science |m Chinese

• 517 1_ |a 系统建模与推理 |A xi tong jian mo yu tui li

• 606 0_ |a 数理逻辑 |A shu li luo ji

• 690 __ |a O141 |v 4

• 701 _1 |a 瑞安 |A rui an |g (Ryan, Mark) |4 著

• 701 _1 |a 胡特 |A hu te |g (Huth, Michael) |4 著

• 702 _0 |a 樊磊 |A fan lei |4 译

• 702 _0 |a 何伟 |A he wei |4 译

• 801 _0 |a CN |b CAU |c 20080925

• 901 __012008006453

• 905 __ |a CAU |d O141/25

• 907 __ |a CAU |f O141/25

• 999 __ |I lzy |i 20080925 11:21:19 |G zxw |g 20080925 14:01:2