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 Engineering1022889UNISA00966nam0-22002651i-450 99000830489040332120240221130503.020060330d1967----km-y0itay50------baitaITy-------001yyProvvedimenti per lo sviluppo dell'agricoltura nel quinquennio 1966-1970legge e decreti recanti disposizioni normative per l'attuazione del Piano Verde 2°Ministero dell'agricoltura e delle foresteRomaIstituto Poligrafico dello Stato1967415 p.27 cm353.82412itaItalia.Ministero dell'agricoltura e delle foreste287625ITUNINARICAUNIMARCBK990008304890403321VI E 14883660FGBCA PAT 15771740/2024FAGBCFGBCFAGBCProvvedimenti per lo sviluppo dell'agricoltura nel quinquennio 1966-1970745059UNINA