Cărți de Adenilso Simao

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6435

Editat de Alexandre Petrenko et al.

8 oct 2010

Preț: 319^.89 lei 399^.86 lei

3-5 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12545

Editat de Violet Ka I Pun et al.

25 noi 2020

Preț: 321^.80 lei 402^.26 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Lecture Notes in Computer Science, nr. 7021

Editat de Adenilso Simao et al.

28 oct 2011

Preț: 399^.33 lei 499^.16 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 6527

Editat de Jim Davies et al.

23 mar 2011

Preț: 321^.17 lei 401^.47 lei

6-8 săpt.

-20%