4 Ebooks von Adenilso Simao
Adenilso Simao & Carroll Morgan: Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with C …
PDF
Englisch
DRM
€51.16
Jim Davies & Leila Silva: Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010. The 18 revised full pape …
PDF
Englisch
DRM
€58.19
Violet Ka I Pun & Adenilso Simao: Theoretical Aspects of Computing – ICTAC 2020
This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was or …
EPUB
Englisch
DRM
€57.99
