出 版 集 团
出 版 社
语 言
出 版 日 期
图 书 类 型
已选条件：
共 1 条
Temporal Logic 逻辑学
ISBN：9789048145843
出版时间：2010-12
作 者：Ohrstrom, Peter
出版社：Springer Netherlands
装 帧：平装
参考价格：￥1,326.00
