図書

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証 (ライブラリ情報学コア・テキスト ; 13)

図書を表すアイコン

モデルの記述と検証のためのプログラミング入門 : CafeOBJによる仕様検証

(ライブラリ情報学コア・テキスト ; 13)

国立国会図書館請求記号
M159-L1326
国立国会図書館書誌ID
028510133
資料種別
図書
著者
二木厚吉 著
出版者
サイエンス社
出版年
2017.9
資料形態
ページ数・大きさ等
197p ; 21cm
NDC
007.64
すべて見る

資料詳細

要約等:

CafeOBJ 言語システムを使い、幾つかの典型的な例題を実際に作り上げながらモデルの記述と検証手法としてのプログラミングを(提供元: 出版情報登録センター(JPRO))

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

関東

その他

  • CiNii Research

    検索サービス
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
978-4-7819-1407-7
タイトルよみ
モデル ノ キジュツ ト ケンショウ ノ タメ ノ プログラミング ニュウモン : CafeOBJ ニ ヨル シヨウ ケンショウ
著者・編者
二木厚吉 著
著者標目
二木, 厚吉, 1948- フタツギ, コウキチ, 1948- ( 00164469 )典拠
出版年月日等
2017.9
出版年(W3CDTF)
2017