検索結果書誌詳細

図書一般
ログインすると表紙画像を
ご覧になれます

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

プログラミング言語の形式的意味論入門　

著者名 G.ウィンスケル／著
著者名ヨミ G ウィンスケル
出版者 丸善出版
出版年月 2023.1

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求番号 配架場所 帯出区分 状態 貸出
1 県立長野図0114819691007.64/ｳｸﾞ/開架帯出可在庫  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000001651962
書誌種別 図書一般
著者名 G.ウィンスケル／著
著者名ヨミ G ウィンスケル
出版者 丸善出版
出版年月 2023.1
ページ数 9,301p
大きさ 21cm
ISBN 4-621-30763-2
分類記号 007.64
書名 プログラミング言語の形式的意味論入門　
書名ヨミ プログラミング ゲンゴ ノ ケイシキテキ イミロン ニュウモン
内容紹介 プログラミング言語意味論の世界的標準教科書を邦訳。プログラミング言語理論関係の専門的な文献を読むための基礎が学べるよう、プログラムの意味を数学的に定義・議論するための手法を解説する。



内容細目

前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。