4 Ebooks tarafından 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 …
PDF
İngilizce
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 …
PDF
İngilizce
DRM
€57.54
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 …
EPUB
İngilizce
DRM
€57.77
