Adenilso Simao – författare
Visar alla böcker från författaren Adenilso Simao. Handla med fri frakt och snabb leverans.
8 produkter
Theoretical Aspects of Computing – ICTAC 2020
17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
Av Violet Ka I Pun, Volker Stolz m. fl.
Häftad, 2020
569 kr
Lägg i varukorg
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 originally planned to take place in Macau, China, but changed to a virtual only format due to the …
Theoretical Aspects of Computing - ICTAC 2020
17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
Av Adenilso Simao, Volker Stolz m. fl.
E-bok, 2020
755 kr
Lägg i varukorg
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 originally planned to take place in Macau, China, but changed to a virtual only format due to the …
Testing Software and Systems
22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
Av Alexandre Petrenko, Adenilso Simao m. fl.
Häftad, 2010
569 kr
Lägg i varukorg
Testing has steadily become more and more important within the development of software and systems, motivating an increasing amount of research aimed at tryingtosolvebothnewchallengesimposedbytheadvancementinvariousareas of computer science and long-standing problems. Testing has evolved during the …
Testing Software and Systems
22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
Av Jose Carlos Maldonado, Adenilso Simao m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
Formal Methods: Foundations and Applications
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Av Jim Davies, Leila Silva m. fl.
Häftad, 2011
569 kr
Lägg i varukorg
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 papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range …
Formal Methods: Foundations and Applications
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Av Adenilso Simao, Leila Silva m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
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 papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range …
Formal Methods: Foundations and Applications
14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Av Adenilso Simao, Carroll Morgan
Häftad, 2011
569 kr
Lägg i varukorg
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 CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full …
Formal Methods: Foundations and Applications
14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Av Carroll Morgan, Adenilso Simao
E-bok, 2011
755 kr
Lägg i varukorg
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 CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full …
