01568nam2-2200421li-450 99000021104020331620180312154913.03-540-60271-20021104USA010021104(ALEPH)000021104USA01002110420001109h----1995995y0itay0103----baengGW<<the>> Z formal specification notation9th International conference of Z usersLimerick, Ireland, Septmber7-9, 1995proceedingsJonathan P. Bowen ... [etc.] (eds.)ZUM'95Berlin [etc.]Springer-Verlagcopyr1995XI, 569 p.ill.24 cm.Lecture notes in computer science96700100202642001Lecture notes in computer sciencecongressilimerick1995elaboratori elettroniciprogrammazionecongressi1995softwareprogettazionecongressi19950051Programmazione. Tecnica di sviluppo dei programmiBowen,Jonathan P.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211040203316001 LNCS (967)00186950010010375000103750BKSCI1996040520001110USA011714PATTY9020001211USA011803ALANDI9020010131USA01155820020403USA011629PATRY9020040406USA011615Z formal specification notation1501999UNISA