この商品の詳細
- 出版社
- CQ出版
- 出版社シリーズ
- COMPUTER TECHNOLOGY
- ISBN
- 4789838085
- サイズ
- 単行本
- 発売年月日
- 2012年04月01日
この商品の紹介
数学を基礎とし、プログラムの正しさを証明していこうという考え方「形式手法」。形式仕様記述や形式検証について、ＬＴＳＡ、Ａｌｌｏｙ、ＣＢＭＣ等のツールを使って解説。『Ｉｎｔｅｒｆａｃｅ』連載をまとめて単行本化。
組み込みソフトへの数理的アプローチ/単行本
2,200
円(税込)
この商品と同年代のコンピューター・インターネットのおすすめ もっと見る
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
頭のいい人が話す前に考えていること 800円
-
本当の自由を手に入れるお金の大学 220円
-
一切なりゆき 220円
-
4位キレイはこれでつくれます 275円
-
5位Ｗｅｂを支える技術 1,480円
-
6位樹木希林１２０の遺言 447円
-
7位１分で話せ 470円
-
8位ＡＩ ｖｓ．教科書が読めない子どもたち 275円
-
9位整理整頓 学校では教えてくれない大切なこと１ 400円
-
10位ゲッターズ飯田の五星三心占い<２０２６－〔１２〕> 890円
-
11位阿佐ケ谷姉妹ののほほんふたり暮らし 220円
-
12位ＡＩのド素人ですが、１０年後も仕事とお金に困らない方法を教えて下さい！ 1,260円
-
13位「育ちがいい人」だけが知っていること 400円
-
14位ゲッターズ飯田の金持ち風水＆マインド 275円
-
15位ＡＩのサバイバル<１> 220円
-
16位大人のための国語ゼミ 990円
-
17位ＣｈａｔＧＰＴ最強の仕事術 990円
-
18位夢と金 710円
-
19位ヨイヨワネ<うつぶせ編> 630円
-
20位日日是好日－「お茶」が教えてくれた１５のしあわせ－ 220円
この商品を見た人におすすめ もっと見る
-
魔法使いTai！＜4＞ 165円
-
めざせ！名門野球部公式指導書 165円
-
仮面ライダー電王キャラクターブック＜02＞ 165円
-
デート・ア・ライブ凛祢ユートピアパーフェクトビジュアルガイド 330円
-
耐震工学 1,260円
-
マッチラベル博物館 1,990円
-
星子＆宙太ふたり旅－KISS ME KISSはスペード色－ 165円
-
ファンタジーRPGクイズ＜2＞ 165円
-
大使館で働くための「派遣員」ガイド 1,890円
-
凡才の集団は孤高の天才に勝る 990円
-
神々の造形・民俗仮面の系譜 550円
-
d design travel 1 1,260円
-
BLOOD・C OFFICIAL COMPLETE BOOK胎動 550円
-
ストリートファイター II＜1＞ 110円
-
華ヤカ哉（ナリ）、我ガ一族キネマモザイク公式ビジュアルファンブック 275円
-
朽ちるインフラ－忍び寄るもうひとつの危機－ 630円
-
ファイナルファンタジータクティクス－公式攻略本－ 800円
-
ぼくのとくいわざ 220円
-
股間若衆 550円
-
ものみな映画で終わる 990円