验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio

请输入要查询的图书：

可以输入图书全称，关键词或ISBN号

验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio

ISBN: 9783540436317

出版年: 2002-12

页数: 330

定价: 452.00元

关键词：验证 模型 检验 与 抽象 解读 Verification model checking and abstract interpretatio
电脑版 | 手机版 | 计算器