An introduction to practical formal methods using temporal logic
Description
Description Not Provided
More Copies In Prospector
Loading Prospector Copies...
More Details
Contributors:
Staff View
Grouping Information
Grouped Work ID | f659142f-b6c3-4575-ff1e-ae7408224c86 |
---|---|
Grouping Title | introduction to practical formal methods using temporal logic |
Grouping Author | michael fisher |
Grouping Category | book |
Grouping Language | English (eng) |
Last Grouping Update | 2024-01-04 16:51:13PM |
Last Indexed | 2024-05-07 02:56:17AM |
Solr Fields
accelerated_reader_point_value
0
accelerated_reader_reading_level
0
author
Fisher, Michael, 1962-
author2-role
ProQuest (Firm)
author_display
Fisher, Michael
display_description
format_category_ccu
eBook
format_ccu
eBook
id
f659142f-b6c3-4575-ff1e-ae7408224c86
last_indexed
2024-05-07T08:56:17.719Z
lexile_score
-1
literary_form
Non Fiction
literary_form_full
Non Fiction
publishDate
2011
publisher
Wiley
recordtype
grouped_work
subject_facet
Electronic books
Logic, Symbolic and mathematical
Temporal automata
Logic, Symbolic and mathematical
Temporal automata
title_display
An introduction to practical formal methods using temporal logic
title_full
An introduction to practical formal methods using temporal logic [electronic resource] / Michael Fisher
title_short
An introduction to practical formal methods using temporal logic
topic_facet
Logic, Symbolic and mathematical
Temporal automata
Temporal automata
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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ebraryccu:EBC698529 | EBC698529 | Ebrary (CCU) | Online Ebrary (CCU) | eBook | eBook | 1 | false | true | Ebrary (CCU) | https://ebookcentral.proquest.com/lib/cochristuniv-ebooks/detail.action?docID=698529 | Available Online | Ebrary (CCU) |
record_details
Bib Id | Format | Format Category | Edition | Language | Publisher | Publication Date | Physical Description | Abridged |
---|---|---|---|---|---|---|---|---|
ebraryccu:EBC698529 | eBook | eBook | English | Wiley | c2011 | vii, 353 p. : ill. |
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:EBC698529 | EBC698529 | Available Online | Available Online | false | true | false | false | false | false |