3 Ebooks por Alberto Pardo
Gilles Barthe & Alberto Pardo: Software Engineering and Formal Methods
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. The 22 revised …
PDF
Inglês
DRM
€83.29
Luis Soares Barbosa & Ana Bove: Language Engineering and Rigorous Software Development
…
PDF
Inglês
DRM
€57.90
Alberto Pardo & Alfredo Viola: LATIN 2014: Theoretical Informatics
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 t …
PDF
Inglês
DRM
€57.82