孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

Logic in Computer Science：Modelling and Reasoning about Systems

Logic in Computer Science：Modelling and Reasoning about Systems
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: ,
出版社: Cambridge University Press
2004-08
ISBN: 9780521543101
装帧: 其他
开本: 其他
纸张: 其他
分类: 外文古旧书>英文书>计算机与互联网
  • Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in form
  • 内容简介:
    Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in form
查看详情
其他版本 / 全部 (2)
相关图书 / 更多
Logic in Computer Science：Modelling and Reasoning about Systems
Logic
Kant, Immanuel
￥78.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
Logic for Mathematicians
J. Barkley Rosser
￥70.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
LogicPro9:AudioandMusicProduction
Mark Cousins、Russ Hepworth-Sawyer 著
￥405.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
Logic Pro X音频编辑与制作宝典
[韩]崔仁英
￥35.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
Logic for Programming, Artificial Intelligence, and Reasoning 编程、人工智能与推理用逻辑学
Robert Nieuwenhuis
￥55.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
Logical Investigations, Vol. 2 (International Library of Philosophy)
Edmund Husserl
￥350.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
Logic and Discrete Mathematics：A Computer Science Perspective (Paperback)
Winfried Karl Grassmann；Jean-Paul Tremblay
￥300.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
Logic：Second Edition
Wilfrid Hodges
￥80.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
Logic Pro X 10.4 音频编辑高级教程
[美]David Nahmani(大卫·纳赫马尼
￥65.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
Logic:AVeryShortIntroduction
Graham Priest 著
￥58.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
Logic as a Liberal Art（作为通识学科的逻辑学）
john Deely 著；张杰、余红兵 编
￥99.99 起
Logic in Computer Science：Modelling and Reasoning about Systems
LogicalBridgePlay
Hugh Kelsey 著
￥118.00 起
您可能感兴趣 / 更多
Logic in Computer Science：Modelling and Reasoning about Systems
PIC新版8位增强型单片机原理及应用
Microchip大学计划部
￥12.38 起
Logic in Computer Science：Modelling and Reasoning about Systems
卢丹城的中魔(新史学译丛)
Michel de Certeau
￥14.06 起
Logic in Computer Science：Modelling and Reasoning about Systems
男子汉的诗学(汉译人类学名著丛书)
Michael Herzfeld
￥36.78 起
Logic in Computer Science：Modelling and Reasoning about Systems
你好，长安（英文）
Michael、A.Stone 著
￥19.44 起
Logic in Computer Science：Modelling and Reasoning about Systems
第二语言需求分析(当代国外语言学与应用语言学文库)(升级版)
Michael H. Long
￥30.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
萨满教、殖民主义与野人：关于恐惧与治疗的研究(汉译人类学名著丛书)
Michael Taussig
￥87.08 起
Logic in Computer Science：Modelling and Reasoning about Systems
量子计算与量子信息：10周年版
Michael A．Nielsen Isaac L．Chuang 著；孙晓明 尚云 李绿周 尹璋琦 魏朝晖 田国敬 译
￥50.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
女性与领导力
Michele A.Paludi 著；Florence L.Denmark、朱运致 译
￥32.20 起
Logic in Computer Science：Modelling and Reasoning about Systems
智能型职业生涯
Michael B. Arthur
￥19.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
侧方入路微创脊柱外科学
Michael Y. Wang Andrew A. Sama Juan S. Uribe 主编
￥57.00 起
Logic in Computer Science：Modelling and Reasoning about Systems
高性能Python第2版（影印版）
MichaGorelick 著
￥82.50 起
Logic in Computer Science：Modelling and Reasoning about Systems
微创脊柱畸形外科学
Michael Y. Wang 主编；晋大祥 郑召民 海涌 吕国华 主译
￥109.00 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全