The Temporal Logic of Reactive and Concurrent Systems: Specification
Description
Description Not Provided
More Copies In Prospector
Loading Prospector Copies...
More Details
Contributors:
ISBN:
9781461209317
Staff View
Grouping Information
Grouped Work ID | bc7c0706-0454-9132-fa2d-4aba03daea79 |
---|---|
Grouping Title | temporal logic of reactive and concurrent systems specification |
Grouping Author | zohar manna |
Grouping Category | book |
Grouping Language | English (eng) |
Last Grouping Update | 2024-01-04 17:22:47PM |
Last Indexed | 2024-05-05 02:34:49AM |
Solr Fields
accelerated_reader_point_value
0
accelerated_reader_reading_level
0
auth_author2
Pnueli, Amir
Pnueli, Amir, 1941-2009
Pnueli, Amir, 1941-2009
author
Manna, Zohar
author2-role
Pnueli, Amir
Pnueli, Amir,1941-2009,author
Pnueli, Amir,1941-2009,author
author_display
Manna, Zohar
display_description
format_category_ccu
eBook
format_ccu
eBook
id
bc7c0706-0454-9132-fa2d-4aba03daea79
isbn
9781461209317
last_indexed
2024-05-05T08:34:49.809Z
lexile_score
-1
literary_form
Non Fiction
literary_form_full
Non Fiction
primary_isbn
9781461209317
publishDate
1991
1992
1992
publisher
Springer New York
Springer Science+Business Media
Springer Science+Business Media
recordtype
grouped_work
subject_facet
Computer programming
Electronic books
Logic, Symbolic and mathematical
Electronic books
Logic, Symbolic and mathematical
title_display
The Temporal Logic of Reactive and Concurrent Systems : Specification
title_full
Temporal logic of reactive and concurrent systems : specification / Zohar Manna, Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems : Specification Manna, Zohar.
The Temporal Logic of Reactive and Concurrent Systems : Specification Manna, Zohar.
title_short
The Temporal Logic of Reactive and Concurrent Systems
title_sub
Specification
topic_facet
Computer programming
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical
Solr Details Tables
item_details
Bib Id | Item Id | Shelf Loc | Call Num | Format | Format Category | Num Copies | Is Order Item | Is eContent | eContent Source | eContent URL | Detailed Status | Last Checkin | Location |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
proquestebookwestern:EBC3073761 | EBC3073761 | ProQuest Ebook Central (Western) | Online ProQuest Ebook Central (Western) | eBook | eBook | 1 | false | true | ProQuest Ebook Central (Western) | https://ebookcentral.proquest.com/lib/wscc-ebooks/detail.action?docID=3073761 | Available Online | ProQuest Ebook Central (Western) | |
ebraryccu:EBC3073761 | EBC3073761 | Ebrary (CCU) | Online Ebrary (CCU) | eBook | eBook | 1 | false | true | Ebrary (CCU) | https://ebookcentral.proquest.com/lib/cochristuniv-ebooks/detail.action?docID=3073761 | Available Online | Ebrary (CCU) |
record_details
Bib Id | Format | Format Category | Edition | Language | Publisher | Publication Date | Physical Description | Abridged |
---|---|---|---|---|---|---|---|---|
proquestebookwestern:EBC3073761 | eBook | eBook | 1st ed | English | Springer New York | 1991 | 1 online resource (432 pages) | |
ebraryccu:EBC3073761 | eBook | eBook | English | Springer Science+Business Media | 1992 | 1 online resource (427 pages) : illustrations |
scoping_details_ccu
Bib Id | Item Id | Grouped Status | Status | Locally Owned | Available | Holdable | Bookable | In Library Use Only | Library Owned | Holdable PTypes | Bookable PTypes | Local Url |
---|---|---|---|---|---|---|---|---|---|---|---|---|
ebraryccu:EBC3073761 | EBC3073761 | Available Online | Available Online | false | true | false | false | false | false |