Logic in Computer Science（M. Huth， M. Ryan）（Cambridge 2004）
内容简介：
书名：Logic in Computer Science
出版社：Cambridge
作者：M. Huth, M. Ryan
出版年份：2004
电子书格式： pdf
简介：《Logic in Computer Science》是M. Huth和M. Ryan合著的经典教材，由Cambridge University Press于2004年出版。这本书深入探讨了逻辑在计算机科学中的应用，涵盖了命题逻辑、谓词逻辑、模型检查等重要主题，适合计算机科学专业的学生和研究人员阅读。多考网提供免费下载，助力您的学术研究和学习。
ISBN：9780511264016, 05112
出版社：Cambridge
作者：M. Huth, M. Ryan
出版年份：2004
电子书格式： pdf
简介：《Logic in Computer Science》是M. Huth和M. Ryan合著的经典教材，由Cambridge University Press于2004年出版。这本书深入探讨了逻辑在计算机科学中的应用，涵盖了命题逻辑、谓词逻辑、模型检查等重要主题，适合计算机科学专业的学生和研究人员阅读。多考网提供免费下载，助力您的学术研究和学习。
ISBN：9780511264016, 05112
下载地址：
猜你喜欢：
