Hoppa till sidans huvudinnehåll

Adenilso Simao – författare

Visar alla böcker från författaren .
4 produkter
Violet Ka I Pun, Volker Stolz, Adenilso Simao - Theoretical Aspects of Computing – ICTAC 2020, Häftad
Del 12545 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2020

17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

AvViolet Ka I Pun,Volker Stolzm. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado - Testing Software and Systems, Häftad

Testing Software and Systems

22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings

AvAlexandre Petrenko,Adenilso Simaom. fl.

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Jim Davies, Leila Silva, Adenilso Simao - Formal Methods: Foundations and Applications, Häftad

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

AvJim Davies,Leila Silvam. fl.

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Adenilso Simao, Carroll Morgan - Formal Methods: Foundations and Applications, Häftad

Formal Methods: Foundations and Applications

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

AvAdenilso Simao,Carroll Morgan

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar