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 notation1490833UNISA