Model Checkingtxt，chm，pdf，epub，mobi下载
作者: Edmund M. Clarke / Orna Grumberg / Doron A. Peled
出版社: The MIT Press
出版年: 07 January, 2000
页数: 314
定价: $60.00
装帧: Hardcover
ISBN: 9780262032704

内容简介  · · · · · ·

Model checking领域的权威书籍