|
|
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),
|
|
|
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),
|
|
|
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),
|
|
|
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),
|
|