//]]>
Testing techniques in software engineering : , second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures /   Publication: Berlin : Springer, 2010 . viii, 312 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and proofs : , 4th International Conference, Tap 2010, Malaga Spin, July, 1-2,2010, proceedings /   Publication: Berlin : Springer, 2010 . x, 182 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model checking software : , 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /   Publication: Berlin : Springer, 2010 . x, 261 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing software and systems : , 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /   Publication: Berlin : Springer, 2010 . xii, 265 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart