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

Bibliographic Information

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

Jonathan P. Bowen, Michael G. Hinchey (eds.)

(Lecture notes in computer science, 967)

Springer, c1995

Available at  / 50 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top