この商品の詳細
- 出版社
- オーム社
- 出版社シリーズ
- ISBN
- 4274068584
- サイズ
- 単行本
- 発売年月日
- 2011年07月01日
この商品の紹介
対象ソフトウェアの本質的な姿をいかにして把握し表現するか。言語Ａｌｌｏｙと自動分析ツールＡｌｌｏｙ Ａｎａｌｙｚｅｒの技術的な背景を、基礎となるロジックや言語仕様を含みながら要領よく解説する。練習問題も収録。
抽象によるソフトウェア設計 Alloyではじめる形式手法/単行本
630
円(税込)
この商品と同年代のコンピューター・インターネットのおすすめ もっと見る
週間売れ筋ランキング（コンピューター・インターネット） もっと見る
-
独断と偏見 275円
-
キレイはこれでつくれます 275円
-
本当の自由を手に入れるお金の大学 139円
-
4位リーダブルコード より良いコードを書くためのシンプルで実践的なテクニック 1,370円
-
5位本当の自由を手に入れる お金の大学 改訂版 1,480円
-
6位もっと！「育ちがいい人」だけが知っていること 470円
-
7位ナナメの夕暮れ 275円
-
8位頭のいい人が話す前に考えていること 890円
-
9位「育ちがいい人」だけが知っていること 今からでも「育ち」は良くなる！ 330円
-
10位日日是好日－「お茶」が教えてくれた１５のしあわせ－ 220円
-
11位【暗記カード付】あたまがコんガらガっち劇場 「りりりりりりりりり」の謎 330円
-
12位人を操る禁断の文章術（メンタリズム） 220円
-
13位【ＣＤ－ＲＯＭ付】いちばんやさしい西洋占星術入門 550円
-
14位「好き」を言語化する技術 推しの素晴らしさを語りたいのに「やばい！」しかでてこない 990円
-
15位超雑談力 人づきあいがラクになる 誰とでも信頼関係が築ける 890円
-
16位２ケ月で月３０万円を実現する 超初心者でも稼げるＡＩ活用法 1,370円
-
17位１３歳からのアート思考 「自分だけの答え」が見つかる 890円
-
18位マダムたちのルームシェア＜２＞ 550円
-
19位荒木飛呂彦の新・漫画術悪役の作り方 550円
-
20位夢と金 710円
この商品を見た人におすすめ もっと見る
-
木村雅一の数学の記述答案が面白いほど書ける本 990円
-
SURF IS WHERE YOU FIND IT サーフィンの神様、ジェリー・ロペスが綴るライフスタイルストーリー 2,470円
-
大学入試 突破力を鍛える最難関の数学 890円
-
ポップンミュージックキャラクターイラストブック AC6，7，8，9／CS6，7 3,798円
-
損しない！まるわかり！相続大全 元国税相続専門40年ベテラン税理士が教える 1,890円
-
暗殺教室 殺たん センター試験から私大・国立まで！ 問題集の時間 330円
-
新海誠展 「ほしのこえ」から「君の名は。」まで 800円
-
プロ野球チームをつくろう！3公式コンプリートガイド 2,470円
-
ハワイ語－日本語辞典 1,690円
-
【組み立てキット付】ヨッシーストーリーパーフェクトプログラム 165円
-
アンナミラーズで制服を 110円
-
密教ヨーガ－タントラヨーガの本質と秘法－ 990円
-
小説ダンジョン・マスター 165円
-
イース（5）－さまよえる砂の都－＜上＞ 165円
-
必殺シリーズ完全闇知識 瞬間の愛編 275円
-
ヴィオラートのアトリエ～グラムナートの錬金術士2～公式ガイドブック－Life Style Navig 165円
-
グランディアパラレルトリッパーズオフィシャルガイド 220円
-
生命組織塩でバランスをとる 生命組織塩（シュスラー塩）のスタンダードテキスト 990円
-
公式DOOMサバイバルガイド 470円
-
かくも長き不在 220円