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