01549nam2-2200421li-450 99000020905020331620180312154819.03-540-65070-90020905USA010020905(ALEPH)000020905USA01002090520001109d1998----km-y0itay0103----baengGW<<The>> Z formal specification notation11th international conference of Zusers Berlin, Germany, September 24-26, 1998 prooceedingsJonathan P. Bowen ... [et al.] (eds.)ZUM'98Berlin [etc.]Springer-Verlagcopyr. 1998XV, 415 p.ill.20 cmLecture notes in computer science149300100202642001Lecture notes in computer sciencecongressiberlino1998linguaggio zcongressi1998005133Specifici linguaggi di programmazioneBowen,Jonathan P.International conference of Z users11.Berlino1998753742Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209050203316001 LNCS (1493)002282200100104176BKSCI1999011020001110USA011714PATTY9020001129USA011312ALANDI9020010207USA01154120020403USA011629PATRY9020040406USA011615Z formal specification notation1516286UNISA