Adenilso Simao – författare

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

4 produkter

Kategorier

4 produkter

Del 12545
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
739 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
AvAlexandre Petrenko,Adenilso Simaom. fl.
Häftad, Engelska, 2010
739 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
AvJim Davies,Leila Silvam. fl.
Häftad, Engelska, 2011
739 kr
Skickas inom 10-15 vardagar
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
739 kr
Skickas inom 10-15 vardagar