01467nam--2200397---450-99000307090020331620080411113120.03-540-46253-8000307090USA01000307090(ALEPH)000307090USA0100030709020080227d2006----km-y0itay50------baengDEy---||||001yyRefinement Techniques in Software EngineeringFirst Pernambuco Summer School on Software Engineering, PSSE 2004Recife, Brazil, November 23-December 5, 2004Revised LecturesAna Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.)Berlin [etc.]Springercopyr. 2006X, 391 p.24 cmLecture Notes in Computer ScienceTutorial31672001Lecture Notes in Computer Science3167Ingegneria del softwareCongressiRecife2004005.1CAVALCANTI,AnaSAMPAIO,AugustoWOODCOCK,JimPernambuco Summer School on Software Engineering, PSSE 2004<1.;2004;Recife>600327ITAsalbcISBD990003070900203316001 LNCS 316734292/CBS00100224821BKSCIANGELA9020080227USA010913ANGELA9020080411USA011131Refinement Techniques in Software Engineering1022889UNISA