图书详情
书名: 模型检测
ISBN: 978-7-121-27295-0
作 者: (美)Edmund M.Clarke Jr.，(美)Orna Grumberg，(美)Doron A.Peled著
出版社: 电子工业出版社
出版日期: 2016
简 介
书名: 模型检测
ISBN: 978-7-121-27295-0
作 者: (美)Edmund M.Clarke Jr.，(美)Orna Grumberg，(美)Doron A.Peled著
出版社: 电子工业出版社
出版日期: 2016