Clarke Jr., Edmund M. books & textbook
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M. Grumberg, Orna Kroening, Daniel Peled, Doron Veith, Helmut
The MIT Press /2018-12-04 Hardcover / 424 Pages
isbn-10: 0262038838 / isbn-13: 9780262038836
Model Checking
Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled
Mit Pr /1999-01-07 Hardcover / 330 Pages
isbn-10: 0262032708 / isbn-13: 9780262032704
模型检测 [美] Edmund M.Clarke Jr.（埃德蒙·M.克拉克） 等,吴 9787121352744
[ MEI ] Edmund M.Clarke Jr. ZHU
Electronic Industry Press /2018-11-01 Paperback
isbn-10: 7121352745 / isbn-13: 9787121352744
