- ECU Libraries Catalog

Start Over

You searched for: author_facet Sampaio, Augusto

Showing 1 - 5 of 5 results

Search Results

Cover image for The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

by Foster, Simon
2024
1st ed. 2024
Format: Electronic

Location
Access Content Online

Cover image for Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

by Ribeiro, Pedro
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Theoretical Aspects of Computing ? ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24?31, 2016, Proceedings

Theoretical Aspects of Computing ? ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24?31, 2016, Proceedings

by Sampaio, Augusto
2016
Format: Electronic

Location
Access Content Online

Cover image for Refinement techniques in software engineering

Refinement techniques in software engineering

by Pernambuco Summer School on Software Engineering
2006
Format: Electronic

Location
Access Content Online

Cover image for Refinement techniques in software engineering

Refinement techniques in software engineering

by Pernambuco Summer School on Software Engineering
2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.758 .P47 2004	✔ Available