Formal specification and software development
Author(s)
Bibliographic Information
Formal specification and software development
(Prentice-Hall International series in computer science)
Prentice-Hall International, c1982
Available at / 14 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 461-487
Includes index