Adenilso Simao - Böcker

Visar alla böcker från författaren Adenilso Simao.

4 produkter

Kategorier

4 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, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Formal Methods: Foundations and Applications

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Av Adenilso Simao, Carroll Morgan

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar