01635nam2-2200433li-450 99000020503020331620180312154710.03-540-62717-00020503USA010020503(ALEPH)000020503USA01002050320001109d1997----km-y0itay0103----baengGW<<The>> Z formal specification notation10th International conference of ZusersRreading, UK, April 3-4, 1997proceedingsJonathan P. Bowen ... [et al.] (eds.)ZUM '97Berlin [etc.]Springer-Verlagcopyr. 1997X, 433 p.ill.23 cmLecture notes in computer science121200100202642001Lecture notes in computer sciencecongressireading1997elaboratori elettroniciprogrammazionecongressi1997softwareprogettazionecongressi19970051Programmazione. Tecnica di sviluppo dei programmiBowen,Jonathan P.International conference of Z users10.Reading1997746703Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205030203316001 LNCS (1212)002035200100103986BKSCI1997071120001110USA011714PATTY9020001129USA011311ALANDI9020010202USA01103620020403USA011628PATRY9020040406USA011615Z formal specification notation1490833UNISA00894nam0-22003131i-450 99000277754040332120240130100545.0000277754FED01000277754(Aleph)000277754FED0120030910d1927----km-y0itay50------baitaITy-------001yyCorso di ragioneriaRoberto Azzali, Vincenzo MasiBolognaCappelli19272 v.22 cm1-2: Ragioneria applicata alle aziende privateAzzali,Roberto372642Masi,Vincenzo<1893-1977>308364ITUNINARICAUNIMARCBK990002777540403321C3-P13-07-RAS.I.ECAC3-P23-26-RAS.I.ECA11-8-1-RA19938ECAECACorso di ragioneria420615UNINA