Program derivation : the development of programs from specifications
Author(s)
Bibliographic Information
Program derivation : the development of programs from specifications
(International computer science series)
Addison-Wesley, c1989
- est.
Available at / 7 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references