1,800円以上の注文で送料無料

プログラム意味論の基礎 ライブラリ情報学コア・テキスト11
  • 新品
  • 書籍
  • 書籍

プログラム意味論の基礎 ライブラリ情報学コア・テキスト11

小林直樹(著者), 住井英二郎(著者)

追加する に追加する

プログラム意味論の基礎 ライブラリ情報学コア・テキスト11

2,090

獲得ポイント19P

在庫なし

発送時期 1~5日以内に発送

商品詳細

内容紹介
販売会社/発売会社 サイエンス社
発売年月日 2020/08/06
JAN 9784781914831

プログラム意味論の基礎

¥2,090

商品レビュー

4

2件のお客様レビュー

レビューを投稿

2024/04/18

【理学部情報科学科】ベストリーダー2024 第8位 東京大学にある本はこちら https://opac.dl.itc.u-tokyo.ac.jp/opac/opac_details/?bibid=2003524427

Posted by ブクログ

2022/12/22

図書館で借りた。 プログラムを論理式に変換し、正当性すなわち意味解析の概要を学ぶことができる本。 プログラム意味論って言葉がイマイチピンと来てなかったので、借りた。たった100頁の非常に薄い本だが、知識としては非常に濃い。目的ピッタリに学ぶことができた。満足。

Posted by ブクログ

関連商品

最近チェックした商品