ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
Author(s)
Bibliographic Information
ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
(Lecture notes in computer science, 1212)
Springer, c1997
Available at / 48 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||121297001887
-
University of Tsukuba Library, Library on Library and Information Science
007.08:L-49:1212971001810
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index