Software development with Z : a practical approach to formal methods in software engineering
Author(s)
Bibliographic Information
Software development with Z : a practical approach to formal methods in software engineering
(International computer science series)
Addison-Wesley Pub. Co., 1992
Available at / 14 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 321-324) and index