資料詳細

【図書】 モデルの記述と検証のためのプログラミング入門

ＣａｆｅＯＢＪによる仕様検証 -- ライブラリ情報学コア・テキスト --
二木厚吉／著 -- サイエンス社 -- ２０１７．９ -- ２１ｃｍ -- １９７ｐ

タイトル	モデルの記述と検証のためのプログラミング入門
副書名	ＣａｆｅＯＢＪによる仕様検証
シリーズ名	ライブラリ情報学コア・テキスト
著者名等	二木厚吉／著
出版	サイエンス社２０１７．９
大きさ等	２１ｃｍ１９７ｐ
分類	007.64
件名	プログラミング（コンピュータ）
注記	文献あり　索引あり
著者紹介	１９７５年東北大学大学院工学研究科博士課程修了（工学博士）　１９９３年北陸先端科学技術大学院大学教授　現在産業技術総合研究所客員研究員　国立情報学研究所特任教授　北陸先端科学技術大学院大学名誉教授　主要著書訳書関数型プログラミング（Ｆｕｎｃｔｉｏｎａｌ　Ｐｒｏｇｒａｍｍｉｎｇ，Ｐｅｔｅｒ　Ｈｅｎｄｅｒｓｏｎ著）など（本データはこの書籍が刊行された当時に掲載されていたものです）
ISBN(13)、ISBN	978-4-7819-1407-7　　 4-7819-1407-1
書誌番号	1113527624

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学 Map	情報科学 10	007.6	一般書	利用可	-	2061260210