Model Checking (Cyber Physical Systems Series)
- Author
- Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
- Publisher
- The MIT Press
- Language
- English
- Edition
- 2
- Year
- 2018
- Page
- 424
- ISBN
- 0262038838,9780262038836
- File Type
- epub
- File Size
- 15.5 MiB
How to Download?!!!
Just click on START button on Telegram Bot