Augusto Sampaio

No bio available. Add one in Open Library.

Books by Augusto Sampaio (50 max)

+ shelf+ list

Algebraic Approach to Compiler Design

1997

Augusto Sampaio

+ shelf+ list

An Algebraic Approach to Compiler Design

1997

Augusto Sampaio

+ shelf+ list

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

2006

Ana Cavalcanti, Augusto Sampaio, Jim Woodcock

+ shelf+ list

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

2010

Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook

+ shelf+ list

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

2016

Augusto Sampaio, Farn Wang

+ shelf+ list

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

2016

Augusto Sampaio, Farn Wang

+ shelf+ list

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

2019

Pedro Ribeiro, Augusto Sampaio