1.
Testing Software and Systems : 22nd IFIP WG 6. 1 International Conference, ICTSS 2010, Natal...
by Petrenko, Alexandre, Simao,...
ISBN: 9783642165726
List Price: $94.00
OUT OF STOCK
See Availability on Amazon2.
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SB...
by Davies, Jim, Silva, Leila, ...
ISBN: 9783642198281
List Price: $72.00
3.
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paul...
by Simao, Adenilso, Morgan, Ca...
ISBN: 9783642250316
List Price: $69.95