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 Engineering1022889UNISA01394nam--2200385---450-99000185655020331620040716095937.03-540-20461-X000185655USA01000185655(ALEPH)000185655USA0100018565520040716d2003----km-y0itay0103----baengDEa|||||||001yyFormal methods and software engineering5. International conference on formal engineering methods,ICFEM 2003Singapore, November 5-7, 2003proceedingsJin Song Dong, Jim Woodcock (Eds.)Berlin [etc.]Springercopyr. 2003XI, 681 p.ill.24 cmLecture notes in computer science28852001Lecture notes in computer science2885Elaboratori elettroniciProgrammazione2003Software ProgettazioneCongressi2003004.01DONG,Jin SongWOODCOCK,JimInternational conference on formal engineering methods, ICFEM 2003 <5. ; 2003 ; Singapore>564416ITCBSISBD990001856550203316001 LNCS 28850030484/CBS00100114300BKSCIRIVELLI9020040716USA010959Formal methods and software engineering956063UNISA00906nam--2200337---450-99000130318020331620031216143111.0000130318USA01000130318(ALEPH)000130318USA0100013031820031216d1942----km-y0itay0103----baitaIT||||||||001yyPur pagine stravagantiGiorgio PasqualiFirenzeSansoni1942392 p.24 cm20012001001-------2001PASQUALI,Giorgio<1885-1952>139210ITsalbcISBD990001303180203316VIII A 49949164 L.M.VIII ABKUMASIAV61020031216USA011431PATRY9020040406USA011732Pur pagine stravaganti929344UNISA