- ECU Libraries Catalog

Start Over

You searched for: author_facet Smith, Graeme

Showing 1 - 5 of 5 results

Search Results

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

by Dongol, Brijesh
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Integrated formal methods

Integrated formal methods

by International Conference on Integrated Formal Methods
2005
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.F67 I58 2005	✔ Available

Cover image for Integrated formal methods

Integrated formal methods

by International Conference on Integrated Formal Methods
2004
Format: Electronic

Location
Access Content Online

Cover image for Beijing

Beijing

by Smith, Graeme
2003
3rd ed.,Revised
Format: Electronic

Location
Access Content Online

Cover image for China

China

by Neville-Hadley, Peter
2003
Format: Electronic

Location
Access Content Online