Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Editat de Adenilso Simao et al.
28 oct 2011
Paperback
Preț: 399.09 lei 498.86 lei
6-8 săpt.
-20%
Cărți de Adenilso Simao
Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
Editat de Violet Ka I Pun et al.
25 noi 2020
Paperback
Preț: 321.66 lei 402.08 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
Editat de Jim Davies et al.
23 mar 2011
Paperback
Preț: 321.03 lei 401.30 lei
6-8 săpt.
-20%
Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
Editat de Alexandre Petrenko et al.
8 oct 2010
Paperback
Preț: 319.75 lei 399.68 lei
3-5 săpt.
-20%