この商品の詳細
- 出版社
- ソフト・リサーチ・センター
- 出版社シリーズ
- ISBN
- 9784883732586
- サイズ
- 単行本
- 発売年月日
- 2008年04月01日
この商品の紹介
日本の大規模システムの開発に、実際に形式手法（フォーマルメソッド）を適用した経験に基づき、その概要や、適用の第一歩となる形式仕様記述言語について解説する。高品質ソフトウェア開発の現場担当者に向けた本。
形式手法の技術講座/単行本
275
円(税込)
この商品と同年代のコンピューター・インターネットのおすすめ もっと見る
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
本当の自由を手に入れるお金の大学 275円
-
頭のいい人が話す前に考えていること 990円
-
キレイはこれでつくれます 470円
-
4位私が見た未来 【完全版】 710円
-
5位「育ちがいい人」だけが知っていること 400円
-
6位「好き」を言語化する技術 990円
-
7位１分で話せ 550円
-
8位大人のための国語ゼミ 1,480円
-
9位医師が教える 子どもの食事 ５０の基本 脳と体に「最高の食べ方」「最悪の食べ方」 1,150円
-
10位ヨチヨチ父 330円
-
11位フランス人は１０着しか服を持たない 110円
-
12位伝わる！文章力が身につく本 165円
-
13位ホームレス中学生 110円
-
14位外資系コンサルのスライド作成術 990円
-
15位３色だけでセンスのいい色 1,370円
-
16位伝える力 110円
-
17位大家さんと僕 110円
-
18位人生がときめく片づけの魔法 110円
-
19位マダムたちのルームシェア 275円
-
20位漫才過剰考察 990円
この商品を見た人におすすめ もっと見る
-
問いかける陽明学 1,590円
-
きみはな－きみと話したい！フランス語 スマート版－ 1,370円
-
東京都過去問＋予想問題集I類B／行政・一般方式＜2023年度採用版＞ 1,150円
-
上海1944－1945 1,990円
-
青山課長は優しくない 630円
-
二度とない人生を生きるために 470円
-
無法、掟破りと言われた男の一代記－加茂水族館ものがたり－ 990円
-
村瀬のゼロからわかる地理B 地誌編 470円
-
破壊力学 630円
-
「決定的瞬間」の思考法 2,860円
-
死のロングウォーク バックマン・ブックス＜4＞ 2,990円
-
ザ・ビートルズ解散の真実 1,590円
-
美しい毛筆の書きかた 1,590円
-
桃仙 2,200円
-
調波占星学入門 4,998円
-
春画 1,370円
-
ちけ文＆ちけ単 治験に役立つ医学英文事例集 1,990円
-
新海誠絵コンテ集＜6＞ 5,798円
-
テイルズオブジアビス公式シナリオブック 2,990円
-
モンスターハンターストーリーズ2～破滅の翼～公式ガイドブック 1,150円
