面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
WHALES AND DOLPHINS OF NEW ZEALAND AND AUSTRALIA AN IDENTIFICATION GUIDE
ALAN N.BAKER2222 年出版133 页ISBN:0864730020
MOTION AND TIME STUDY DESIGN AND MEASUREMENT OF WORK SEVENTH EDITION
RALPH M.BARNES2222 年出版689 页ISBN:0471059056
ATLAS OF RENAL AND URINARY TRACT CYTOLOGY AND ITS HISTOPATHOLOGIC BASES
G.BERRY SCHUMANN1981 年出版295 页ISBN:0397504438
TERRORIST USE OF CYBERSPACE AND CYBER TERRORISM:NEW CHALLENGES AND RESPONSES
MEHMET NESIP OGUN2015 年出版213 页ISBN:9781614995272
VERSE AND VOICE IN BYRD'S SONG COLLECTIONS OF 1588 AND 1589
JERMEY L.SMITH2016 年出版325 页ISBN:1783270828
CRYOSURGICAL ADVANCES IN DERMATOLOGY AND TUMORS OF THE HEAD AND NECK
SETRAG A.ZACARIAN1977 年出版272 页ISBN:0398035970
THE DIAGNOSIS AND PRIMARY CARE OF ACCIDENTS AND EMERGENCIES IN CHILDREN
CYNTHIA M.ILLINGWORTH1978 年出版134 页ISBN:0632003928