Temporal Logic of Reactive and Concurrent Systems - Info and Reading Options
By Zohar Manna and Amir Pnueli
"Temporal Logic of Reactive and Concurrent Systems" was published by Island Press in 1991 and the language of the book is English.
“Temporal Logic of Reactive and Concurrent Systems” Metadata:
- Title: ➤ Temporal Logic of Reactive and Concurrent Systems
- Authors: Zohar MannaAmir Pnueli
- Language: English
- Publisher: Island Press
- Publish Date: 1991
“Temporal Logic of Reactive and Concurrent Systems” Subjects and Themes:
- Subjects: ➤ Computer programming - Symbolic and mathematical Logic - Electronic digital computers, programming - Logic, symbolic and mathematical
Edition Specifications:
- Weight: 0.618
- Pagination: 444
Edition Identifiers:
- The Open Library ID: OL50692065M - OL3745401W
- ISBN-13: 9781461209324
- All ISBNs: 9781461209324
AI-generated Review of “Temporal Logic of Reactive and Concurrent Systems”:
Read “Temporal Logic of Reactive and Concurrent Systems”:
Read “Temporal Logic of Reactive and Concurrent Systems” by choosing from the options below.
Search for “Temporal Logic of Reactive and Concurrent Systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Temporal Logic of Reactive and Concurrent Systems” in Libraries Near You:
Read or borrow “Temporal Logic of Reactive and Concurrent Systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Temporal Logic of Reactive and Concurrent Systems” at a library near you.
Buy “Temporal Logic of Reactive and Concurrent Systems” online:
Shop for “Temporal Logic of Reactive and Concurrent Systems” on popular online marketplaces.
- Ebay: New and used books.