Book Search Results
Temporal Logic Of Reactive And Concurrent Systems
Find "Temporal Logic Of Reactive And Concurrent Systems" through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The temporal logic of reactive and concurrent systems
By Zohar Manna and Amir Pnueli
“The temporal logic of reactive and concurrent systems” Metadata:
- Title: ➤ The temporal logic of reactive and concurrent systems
- Authors: Zohar MannaAmir Pnueli
- Language: English
- Number of Pages: Median: 448
- Publisher: ➤ Island Press - Springer-Verlag - Springer
- Publish Date: 1991 - 1992
- Publish Location: New York
“The 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 Identifiers:
- The Open Library ID: OL50692065M - OL7449494M - OL1548673M
- Library of Congress Control Number (LCCN): 91028181
- All ISBNs: ➤ 3540976647 - 9781461209324 - 0387976647 - 9783540976646 - 9780387976648 - 1461209323
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The temporal logic of reactive and concurrent systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2The Temporal Logic of Reactive and Concurrent Systems
By Zohar Manna
“The Temporal Logic of Reactive and Concurrent Systems” Metadata:
- Title: ➤ The Temporal Logic of Reactive and Concurrent Systems
- Author: Zohar Manna
- Language: English
- Number of Pages: Median: 427
- Publisher: Springer New York
- Publish Date: 1992
- Publish Location: New York, NY
“The Temporal Logic of Reactive and Concurrent Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Computer Communication Networks - Computer science - Software engineering - Computer programming - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL27091299M
- Online Computer Library Center (OCLC) ID: 853260875
- All ISBNs: 9781461269502 - 1461209315 - 1461269504 - 9781461209317
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The Temporal Logic of Reactive and Concurrent Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
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.