Predicate calculus and program semantics
著者
書誌事項
Predicate calculus and program semantics
(Texts and monographs in computer science)
Springer-Verlag, c1990
- : us
- : gw
大学図書館所蔵 件 / 全32件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する