Predicate transformer semantics
Author(s)
Bibliographic Information
Predicate transformer semantics
（Cambridge tracts in theoretical computer science, 33）
Cambridge University Press, 1992
Available at / 30 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc20:005.13/m3132070296191
-
No Libraries matched.
- Remove all filters.