The Object-Z specification language
Author(s)
Bibliographic Information
The Object-Z specification language
(Advances in formal methods / series editor, Michael Hinchey, 1)
Kluwer Academic, c2000
Available at / 9 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references & index