All 1 Jr., Edmund M. Clarke (Carnegie Mellon Univers... Book
Categories
Other
Support
HKD
In stock at iMusic
Show unavailable items
![Cover for Jr., Edmund M. Clarke (Carnegie Mellon University) · Model Checking - Cyber Physical Systems Series (Hardcover Book) [Second edition] (2018)](https://imusic.b-cdn.net/images/item/original/836/9780262038836.jpg?jr-edmund-m-clarke-carnegie-mellon-university-2018-model-checking-cyber-physical-systems-series-hardcover-book&class=scaled&v=1603998695)