小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 005.13)
該当件数:4件
Property testing : problems and techniques / Arnab Bhattacharyya, Yuichi Yoshida
Singapore : Springer , c2022
図書
Algorithm design with Haskell / Richard Bird, Jeremy Gibbons
: hardback. - Cambridge : Cambridge University Press , 2020
Programming language pragmatics / Michael L. Scott
: pbk. - San Francisco ; Tokyo : Morgan Kaufmann , c2000
A practical introduction to denotational semantics / Lloyd Allison
:pbk. - Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1986. - (Cambridge computer science texts ; 23)