拈花一笑
活跃会员
Model Checking, Second Edition
By Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith
Product details
By Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith
Product details
- Series: Cyber Physical Systems Series
- Hardcover: 424 pages
- Publisher: The MIT Press; second edition edition (December 4, 2018)
- Language: English
- ISBN-10: 0262038838
- ISBN-13: 978-0262038836
- Product Dimensions: 7 x 1.1 x 9 inches