图书名：互模拟理论的逻辑研究= The studies of the logic of bisimulation 978-7-03-048620-2 9787030486202 作者：姚从军著

首页登录注册分类号查询汉语著者号查询 MARC解析四角代码查询在线编目

978-7-03-048620-2

图书详情

书名: 互模拟理论的逻辑研究= The studies of the logic of bisimulation

ISBN: 978-7-03-048620-2

作者: 姚从军著

出版社: 科学出版社

出版日期: 2016

登录MARC详情

简介

阿凡提图书馆技术服务网工业和信息化部查询苏ICP备19029456号江苏阿凡提信息技术有限公司图书列表站点地图站点地图