Model Checking
Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith年:
2018
版本:
2
出版商:
MIT Press
語言:
english
頁數:
424
ISBN 10:
0262038838
ISBN 13:
9780262038836
系列:
Cyber Physical Systems Series
文件:
EPUB, 13.56 MB
IPFS:
,
english, 2018