資料詳細

  • 1 件中、 1 件目

モデルの記述と検証のためのプログラミング入門 利用可

二木　厚吉／著 -- サイエンス社 -- 2017.9 -- 007.64

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 007.6/ﾌﾀﾂ/一般Ｈ 120546570 一般 利用可

ページの先頭へ

資料詳細

タイトル モデルの記述と検証のためのプログラミング入門
書名ヨミ モデル　ノ　キジュツ　ト　ケンショウ　ノ　タメ　ノ　プログラミング　ニュウモン
副書名 ＣａｆｅＯＢＪによる仕様検証
シリーズ名 ライブラリ情報学コア・テキスト
副叢書名 １３
著者名 二木　厚吉 ／著  
著者ヨミ フタツギ，コウキチ  
出版者 サイエンス社  
出版年 2017.9
ページ数等 １９７ｐ
大きさ ２１ｃｍ
一般件名 プログラミング（コンピュータ）  
ISBN 4-7819-1407-1
ISBN13桁 978-4-7819-1407-7
定価 ２０００円
問合わせ番号（書誌番号） 1120141787
NDC8版 007.64
NDC9版 007.64
著者紹介 １９７５年東北大学大学院工学研究科博士課程修了（工学博士）　１９９３年北陸先端科学技術大学院大学教授　現在産業技術総合研究所客員研究員　国立情報学研究所特任教授　北陸先端科学技術大学院大学名誉教授　主要著書訳書関数型プログラミング（Ｆｕｎｃｔｉｏｎａｌ　Ｐｒｏｇｒａｍｍｉｎｇ，Ｐｅｔｅｒ　Ｈｅｎｄｅｒｓｏｎ著）など（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ