.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Modal and Temporal Properties of Processes
Colin Stirling
€ 66.61
FREE Delivery in Ireland
Description for Modal and Temporal Properties of Processes
Paperback. Series: Texts in Computer Science. Num Pages: 203 pages, 2 black & white illustrations, biography. BIC Classification: TJFM; UKR; UM. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 10. Weight in Grams: 397.
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
Product Details
Publisher
Springer-Verlag New York Inc. United States
Number of pages
203
Format
Paperback
Publication date
2011
Series
Texts in Computer Science
Condition
New
Number of Pages
191
Place of Publication
New York, NY, United States
ISBN
9781441931535
SKU
V9781441931535
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Modal and Temporal Properties of Processes