Alberto Pardo Books
Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
By Alberto Pardo, S. Doaitse Swierstra
This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. The 10 papers presented in this volume...
Read More
Language Engineering And Rigorous Software Development
By Ana Bove, Alberto Pardo, Luis Soares Barbosa, Ana Bove,Luis Soares Barbosa,Alberto Pardo, Jorge Sousa Pinto, Herman Geuvers (Auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (Eds.), LerNet ALFA Summer School
This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis,...
Read More
Software Engineering And Formal Methods
By Gilles Barthe, Alberto Pardo, Gerardo Schneider, Holger Hermanns (Auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (Eds.), G. Barthe, Gilles Barthe; Alberto Pardo; Gerardo Schneider
Annotation This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. T...
Read More
LATIN 2014: Theoretical Informatics
By Author, Alberto Pardo, Alfredo Viola
This book constitutes the refereed proceedings of the 11th Latin American Symposium on Theoretical Informatics, LATIN 2014, held in Montevideo, Uruguay, in March/April 2014. The 65 papers presented...
Read More
