ZUM '95, the Z formal specification notation 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

ZUM '95, the Z formal specification notation 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

Bibliografiska uppgifter
Institutionell upphovsman: International Conference of Z Users Limerick, Ireland
Övriga upphovsmän: Bowen, J. P. 1956- (Jonathan Peter), Hinchey, Michael G. 1969- (Michael Gerard)
Materialtyp: Bok
Språk:English
Publicerad: Berlin Springer c1995.
Ämnen:
Z (Computer program language) > Congresses.