Merz, Stephan. - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author Merz, Stephan.

Showing 1 - 8 of 8 results

Search Results

Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

by Merz, Stephan
2014
Format: Electronic

Location
Access Content Online

Cover image for Formal systems specification

Formal systems specification

1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.D5 F664 1996	✔ Available

Cover image for Formal systems specification

Formal systems specification

1996
Format: Electronic

Location
Access Content Online

Cover image for Integrated formal methods

Integrated formal methods

by International Conference on Integrated Formal Methods
2010
Format: Electronic

Location
Access Content Online

Cover image for Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

by Blanchette, Jasmin Christian
2016
Format: Electronic

Location
Access Content Online

Cover image for Automated reasoning

Automated reasoning

by IJCAR (Conference)
2012
Format: Electronic

Location
Access Content Online

Cover image for Object-based parallel and distributed computation

Object-based parallel and distributed computation

by France-Japan Workshop on Object-Based Parallel and Distributed Computation
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.64 .F7 1995	✔ Available

Cover image for John, Jesus, and history

John, Jesus, and history

2007
Format: Book

Location	Call #	Status
Joyner - Order on Demand Title	Order On Demand	✔ Available