图书名：工业关键系统的形式化方法 : 应用综述 978-7-111-48521-6 9787111485216 作者：(意) Stefania Gnesi, Tiziana Margaria著 ; 靳添絮, 连晓峰等译

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

978-7-111-48521-6

图书详情

书名: 工业关键系统的形式化方法 : 应用综述

ISBN: 978-7-111-48521-6

作者: (意) Stefania Gnesi, Tiziana Margaria著 ; 靳添絮, 连晓峰等译

出版社: 机械工业出版社

出版日期: 2015

登录MARC详情

简介

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