Model Checking, second edition (Cyber Physical Systems Series)
Price: (as of – 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 … Read more