João Saraiva

No bio available. Add one in Open Library.

Books by João Saraiva (50 max)

+ shelf+ list

Em continencia a lei: episodios da revolução constutucionalista

1933

João Saraiva

+ shelf+ list

Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

2003

Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva

+ shelf+ list

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

2008

Ralf Lämmel, Joost Visser, João Saraiva

+ shelf+ list

Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2017

Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev