(3 resultados)
Ordenar por
ordenar por...
47,84€(IVA inc.)
Formal methods : foundations and applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
- Davies, Jim
- 978-3-642-19828-1
- 2011-03-23
47,84€(IVA inc.)
Formal methods : foundations and applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
- Simao, Adenilso
- 978-3-642-25031-6
- 2011-10-28
62,40€(IVA inc.)
Testing software and systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
- Petrenko, Alexandre
- 978-3-642-16572-6
- 2010-10-08