|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec (Lecture Notes in Computer Science) | Davies, Jim | Paperback | 3642198287 / 9783642198281 | 03/2011 | $52.24 |
| | Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Revised Selected Papers (Lecture Notes in Computer Science) | Simao, Adenilso | Paperback | 3642250319 / 9783642250316 | 10/2011 | $66.49 |
| | 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) | Petrenko, Alexandre | Paperback | 3642165729 / 9783642165726 | 10/2010 | $52.24 |
|
|
|