富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 005.13/.1)
該当件数:1件
Algebraic approaches to program semantics / Ernest G. Manes, Michael A. Arbib
: us,: gw. - New York : Tokyo : Springer-Verlag , c1986. - (Texts and monographs in computer science ; . The AKM series in theoretical computer science)
図書