Model Checking, second edition (Cyber Physical Systems Series)

Model Checking, second edition (Cyber Physical Systems Series)
Price: $75.00
(as of Feb 10,2025 00:10:06 UTC – Details)

Buy Now




Publisher ‏ : ‎ The MIT Press; 2nd ed. edition (December 4, 2018)
Language ‏ : ‎ English
Hardcover ‏ : ‎ 424 pages
ISBN-10 ‏ : ‎ 0262038838
ISBN-13 ‏ : ‎ 978-0262038836
Item Weight ‏ : ‎ 1.78 pounds
Dimensions ‏ : ‎ 7.37 x 1.08 x 9.31 inches

Buy Now