正しいソフトウェアを書くために -- Ascii software science -- Language
Bertrand Meyer /著, 酒包寛 /訳,     -- アスキー -- 1995.09 -- 26cm -- 450p

資料詳細

タイトル プログラミング言語理論への招待
副書名 正しいソフトウェアを書くために
シリーズ名 Ascii software science Language
著者名等 Bertrand Meyer /著, 酒包寛 /訳,    
出版 アスキー 1995.09
大きさ等 26cm 450p
分類 007.64
件名 プログラミング言語
注記 Introduction to the theory of programming languages.
注記 監訳:二木厚吉
内容 参考文献:p421~430
目次 1章 基本的概念;2章 数学的予備知識;3章 構文;4章 意味論―主な手法の紹介;5章 ラムダ計算式;6章 表示意味論―基礎;7章 表示意味論―言語機能;8章 再帰の数学;9章 公理意味論;10章 意味的定義の一貫性
ISBN(13)、ISBN    4-7561-0317-0
書誌番号 1195049341
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1195049341

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/6378 一般書 利用可 - 2004855828 iLisvirtual