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