- ECU Libraries Catalog

Start Over

You searched for: author_facet Jones, C. B.

Showing 1 - 10 of 14 results

Search Results

Cover image for Dependable and historic computing

Dependable and historic computing

2011
Format: Electronic

Location
Access Content Online

Cover image for Reflections on the work of C.A.R. Hoare

Reflections on the work of C.A.R. Hoare

2010
Format: Electronic

Location
Access Content Online

Cover image for Theoretical aspects of computing

Theoretical aspects of computing

by ICTAC 2007
2007
Format: Electronic

Location
Access Content Online

Cover image for The Vienna Development Method: the Meta-Language

The Vienna Development Method: the Meta-Language

by Bjorner, D.
2007
Format: Electronic

Location
Access Content Online

Cover image for Formal methods and hybrid real-time systems

Formal methods and hybrid real-time systems

2007
Format: Electronic

Location
Access Content Online

Cover image for Structure for dependability

Structure for dependability

2006
Format: Electronic

Location
Access Content Online

Cover image for Communicating sequential processes

Communicating sequential processes

by Symposium on the Occasion of 25 years of CSP
2005
Format: Electronic

Location
Access Content Online

Cover image for Communicating sequential processes

Communicating sequential processes

by Symposium on the Occasion of 25 years of CSP
2005
Format: Electronic

Location
Access Content Online

Cover image for FME '97, industrial applications and strengthened foundations of formal methods

FME '97, industrial applications and strengthened foundations of formal methods

by International Symposium of Formal Methods Europe
1997
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.S88 I577 1997	✔ Available

Cover image for FME '97, industrial applications and strengthened foundations of formal methods

FME '97, industrial applications and strengthened foundations of formal methods

by International Symposium of Formal Methods Europe
1997
Format: Electronic

Location
Access Content Online