Predicate calculus and program semantics
Author(s)
Bibliographic Information
Predicate calculus and program semantics
（Texts and monographs in computer science）
Springer-Verlag, c1990
- : us
- : gw
Available at / 32 libraries
-
Science and Technology Library, Kyushu University
410.96/D 73068252191002116,
: us068222191000133 -
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC19:511.3/D572070155760
-
No Libraries matched.
- Remove all filters.