ZUM '95... the Z formal specification notation : Proceedings /

Bibliographic Details
Corporate Author: International Conference of Z Users Limerick, Ireland
Other Authors: Bowen, Jonathan Peter, 1956- (ed.), Hinchey, Michael G. (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1995.
Series:Lecture notes in computer science ; v. 967
Subjects:
Description
Physical Description:569 p. : il. ; 24 cm.
ISBN:3540602712