Skip to main content
PBS logo
 
 

Search - Modal and Temporal Properties of Processes (Texts in Computer Science)

Modal and Temporal Properties of Processes (Texts in Computer Science)
Modal and Temporal Properties of Processes - Texts in Computer Science
Author: Colin Stirling
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 valua...  more »
ISBN-13: 9781441931535
ISBN-10: 1441931538
Publication Date: 11/1/2011
Pages: 202
Edition: 2001
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Other Versions: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.