城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: Programming languages Semantics)
該当件数:4件
Denotational semantics : the Scott-Strachey approach to programming language theory / by Joseph E. Stoy.
1. - Cambridge, Mass. : MIT Press , c1977.. - (The MIT press series in computer science ; 1)
図書
Mathematical logic in computer science / edited by B. Domolki and T. Gergely.
26. - Amsterdam : North-Holland , 1981. - (Colloquia mathematica Societatis Janos Bolyai ; 26)
Formal semantics of Programming languages / edited by Randall Rustin.
Englewood Cliffs, N.J. : Prentice-Hall , {1972}. - (Prentice-Hall series in automatic computation)
Symposium on semantics of algorithmic languages / edited by E. Engeler.
188. - Berlin : Springer , 1971. - (Lecture notes in mathematics ; 188)