ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings

Bibliographic Information

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings

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

(Lecture notes in computer science, 1212)

Springer, c1997

Available at  / 48 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top