この商品の詳細
- 出版社
- サイエンス社
- 出版社シリーズ
- ライブラリ情報学コア・テキスト
- ISBN
- 4781914077
- サイズ
- 単行本
- 発売年月日
- 2017年09月01日
この商品の紹介
形式仕様の作成と検証への入門書。ＣａｆｅＯＢＪ言語システムを使って幾つかの典型的な例題を実際に作り上げることを通して、モデルの記述と検証手法としてのプログラミングを実践的に学習する。
モデルの記述と検証のためのプログラミング入門/単行本
710
円(税込)
この商品と同年代のコンピューター・インターネットのおすすめ もっと見る
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
本当の自由を手に入れるお金の大学 220円
-
頭のいい人が話す前に考えていること 710円
-
一切なりゆき 220円
-
4位「好き」を言語化する技術 890円
-
5位ナナメの夕暮れ 275円
-
6位私が見た未来 【完全版】 165円
-
7位捨てられた僕と母猫と奇跡 630円
-
8位ガラクタ捨てれば自分が見える 220円
-
9位配色アイデア手帖 550円
-
10位整理整頓 学校では教えてくれない大切なこと１ 400円
-
11位「育ちがいい人」だけが知っていること 400円
-
12位ｎｏｔｅ副業の教科書 890円
-
13位夢と金 710円
-
14位貯金はこれでつくれます 630円
-
15位キレイはこれでつくれます 275円
-
16位伝える力 110円
-
17位フランス人は１０着しか服を持たない 165円
-
18位日日是好日－「お茶」が教えてくれた１５のしあわせ－ 220円
-
19位リーダブルコード 1,480円
-
20位３色だけでセンスのいい色 990円
この商品を見た人におすすめ もっと見る
-
めざせ！名門野球部公式指導書 165円
-
魔法使いTai！＜4＞ 165円
-
ファンタジーRPGクイズ＜2＞ 165円
-
マッチラベル博物館 1,990円
-
耐震工学 1,260円
-
デート・ア・ライブ凛祢ユートピアパーフェクトビジュアルガイド 330円
-
仮面ライダー電王キャラクターブック＜02＞ 165円
-
大使館で働くための「派遣員」ガイド 1,890円
-
星子＆宙太ふたり旅－KISS ME KISSはスペード色－ 165円
-
轟轟戦隊ボウケンジャー 1 しゅつどう！ボウケンジャー 220円
-
凡才の集団は孤高の天才に勝る 990円
-
ものみな映画で終わる 990円
-
ぼくのとくいわざ 220円
-
みんなできるさ 165円
-
悪魔城ドラキュラ黙示録パーフェクトガイド 220円
-
パソコン美少女ゲーム攻略スペシャル＜6＞ 165円
-
ファイナルファンタジータクティクス－公式攻略本－ 800円
-
投機バブル根拠なき熱狂 400円
-
Devil May Cry4－Deadly Fortune－＜2＞ 1,690円
-
d design travel 1 1,260円
