Refinement techniques in software engineering: first pernambuco summer school on software engineering, psse 2004 recife, brazil, november 23-december 5, 2004 revised lectures
Auteur :
Cavalcanti, Ana
ISBN :
9783540462538
Date de publication :
27 sept. 2006
Dimensions :
23,4 x 15,6 x 2,1 cm
Poids :
576 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004).