Error title
Some error text about your books and stuff.
Close

Modal and Temporal Properties of Processes

by Colin Stirling

  • ISBN: 9780387987170
  • ISBN10: 0387987177

Modal and Temporal Properties of Processes

by Colin Stirling

  • List Price: $134.00
  • Binding: Hardcover
  • Publisher: Springer Verlag
  • Publish date: 04/01/2001
  • ISBN: 9780387987170
  • ISBN10: 0387987177
used Add to Cart $90.17
You save: 33%
Marketplace Item
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
new Add to Cart $95.41
You save: 29%
Marketplace Item
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
ebook Buy $16.50
License: 30 days (until 07/11/2026)
License Details
You are purchasing a license to access this digital product—not ownership of the content.
Access durations vary by product.
eBooks labeled "Lifetime" provide permanent online access along with the option to permanently download the content to a supported device.
Publishers may set shorter access periods and license durations for course materials accessed and hosted through their websites. Please confirm license duration and support directly with these publishers.
American Academy Holdings, Editora Manole, and Forum for International Trade Training have requested that we support "Lifetime" licenses with different durations. Please confirm license duration and support directly with these publishers.
All licenses are non-transferrable and may be revoked if VitalSource or its partners no longer hold rights to the content.
Learn more about our digital license terms on this support page.
Description: Modal checking has become an essential technique for the formal verification of systems. With its clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It provides an introduction to the essential topics, including process calculi for modeling concurrent systems, modal properties of systems, temporal properties of systems, verification techniques for showing temporal properties of systems, modal checking in terms of game-theoretic algorithms, and compositional verification.
Expand description
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller Condition Comments Price  
Seller: ErgodeBooks
Location: Houston, TX
Condition: Good
Sewn binding. Cloth over boards. 191 p. Contains: Illustrations, black & white. Texts in Computer Science.
Price:
$90.17
Comments:
Sewn binding. Cloth over boards. 191 p. Contains: Illustrations, black & white. Texts in Computer Science.
Seller: Bonita
Location: Santa Clarita, CA
Condition: Good
Shipping Icon
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Price:
$94.08
Comments:
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Seller: ErgodeBooks
Location: Houston, TX
Condition: New
Sewn binding. Cloth over boards. 191 p. Contains: Illustrations, black & white. Texts in Computer Science.
Price:
$95.41
Comments:
Sewn binding. Cloth over boards. 191 p. Contains: Illustrations, black & white. Texts in Computer Science.
Seller: Just one more Chapter
Location: Miramar, FL
Condition: New
Price:
$125.71
Comments:
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).