01484nam2-2200409li-450-9900002090502033163-540-65070-90020905USA010020905(ALEPH)000020905USA01002090520001109d1991998-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 science1493altro genere00100202642001Lecture notes in computer sciencecongressiberlino1998linguaggio zcongressi1998005133Specifici linguaggi di programmazioneBowen,Jonathan P.International conference of Z users11.Berlino1998Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209050203316001 LNCS (1493)002282200100104176BKSCI1999011020001110USA011714PATTY9020001129USA011312ALANDI9020010207USA01154120020403USA011629PATRY9020040406USA011615UNISA