ZUM 98 : the Z formal specification notation : 11th international conference of Z users : proceedings, Berlin, Germany, Sept. 24-26, 1998 / edited by Jonathan P. Bowen, Andreas Fett and Michael G. Hinchey
International conference of Z users (11th : 1998 : Berlin, G
ZUM 98 : the Z formal specification notation : 11th international conference of Z users : proceedings, Berlin, Germany, Sept. 24-26, 1998 / edited by Jonathan P. Bowen, Andreas Fett and Michael G. Hinchey - - Berlin Springer-Verlag 1998 - xv,417 p. 23.5 cm - Lecture notes in computer science ; v.1493 .
3-540-65070-90
Z(Computer program language)-Congresses
681.3.06(Z) Int:11:98
ZUM 98 : the Z formal specification notation : 11th international conference of Z users : proceedings, Berlin, Germany, Sept. 24-26, 1998 / edited by Jonathan P. Bowen, Andreas Fett and Michael G. Hinchey - - Berlin Springer-Verlag 1998 - xv,417 p. 23.5 cm - Lecture notes in computer science ; v.1493 .
3-540-65070-90
Z(Computer program language)-Congresses
681.3.06(Z) Int:11:98