4 Ebooks door Luis Soares Barbosa
Luis Soares Barbosa & Ana Bove: Language Engineering and Rigorous Software Development
…
PDF
Engels
DRM
€57.44
Luis Soares Barbosa & Markus Lumpe: Formal Aspects of Component Software
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The 13 full papers …
PDF
Engels
DRM
€57.15
Luis Soares Barbosa & Francisco Heron de Carvalho Junior: Programming Languages
This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012. The 10 full and 2 short papers were carefully …
PDF
Engels
DRM
€53.38
Alexandru Baltag & Luis Soares Barbosa: Dynamic Logic. New Trends and Applications
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October …
EPUB
Engels
DRM
€57.04
