- ECU Libraries Catalog

Start Over

You searched for: author_facet McIver, Annabelle

Showing 1 - 6 of 6 results

Search Results

Cover image for Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

by ter Beek, Maurice H.
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

by McIver, Annabelle
2018
Format: Electronic

Location
Access Content Online

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

by Davis, Martin
2015
1st ed. 2015
Format: Electronic

Location
Access Content Online

Cover image for Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

by McIver, Annabelle
2005
Format: Electronic

Location
Access Content Online

Cover image for Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

by McIver, Annabelle
2005
Format: Book

Location	Call #	Status
Joyner - General Stacks	TA340 .M43 2005	✔ Available

Cover image for Programming methodology

Programming methodology

2003
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.6 .P76 2003	✔ Available