Alberto Pardo – författare
Visar alla böcker från författaren Alberto Pardo. Handla med fri frakt och snabb leverans.
8 produkter
Programming Languages
19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Av Alberto Pardo, S. Doaitse Swierstra
Häftad, 2015
457 kr
Lägg i varukorg
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 were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and …
Programming Languages
19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Av S. Doaitse Swierstra, Alberto Pardo
E-bok, 2015
588 kr
Lägg i varukorg
This book constitutes the proceedings of the 19 th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and …
Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Av Ana Bove, Luis Soares Barbosa m. fl.
Häftad, 2009
569 kr
Lägg i varukorg
This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap ' olis, Uruguay, from February 25 to March 1, 2008. The aim of the schoolwasthe dissemination of advancedscienti?c knowledge in …
Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Av Jorge Sousa Pinto, Alberto Pardo m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Av Gilles Barthe, Alberto Pardo m. fl.
Häftad, 2011
569 kr
Lägg i varukorg
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 regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were …
Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Av Gerardo Schneider, Alberto Pardo m. fl.
E-bok, 2011
734 kr
Lägg i varukorg
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 regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were …
LATIN 2014: Theoretical Informatics
11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
Av Alberto Pardo, Alfredo Viola
Häftad, 2014
569 kr
Lägg i varukorg
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 together with 5 abstracts were carefully reviewed and selected from 192 submissions. The papers …
LATIN 2014: Theoretical Informatics
11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings
Av Alfredo Viola, Alberto Pardo
E-bok, 2014
734 kr
Lägg i varukorg
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 together with 5 abstracts were carefully reviewed and selected from 192 submissions. The papers …
