Bravetti, Mario. - 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 Bravetti, Mario.

Showing 1 - 7 of 7 results

Search Results

Cover image for Web Services and Formal Methods

Web Services and Formal Methods

by WS-FM (Workshop)
2011
Format: Electronic

Location
Access Content Online

Cover image for Formal Techniques for Computer Systems and Business Processes

Formal Techniques for Computer Systems and Business Processes

2006
Format: Electronic

Location
Access Content Online

Cover image for Web services and formal methods

Web services and formal methods

by WS-FM 2006
2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	TK5105.88813 .W74 2006	✔ Available

Cover image for Web services and formal methods

Web services and formal methods

by WS-FM 2006
2006
Format: Electronic

Location
Access Content Online

Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

by Hierons, Robert M.
2013
Format: Electronic

Location
Access Content Online

Cover image for Formal techniques for computer systems and business processes

Formal techniques for computer systems and business processes

by EPEW (Workshop)
2005
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.E94 E64 2005	✔ Available

Cover image for Validation of stochastic systems

Validation of stochastic systems

2004
Format: Electronic

Location
Access Content Online