この書籍はよりお買い得なバージョンをご購入いただけます
Kindle版を選ぶと、¥ 2,859 (44%) お買い得にご購入いただけます。
¥ 3,633
Kindle版
¥ 6,492
ハードカバー価格

Kindle版を選ぶと、<span class="a-color-price">¥ 2,859 (44%)</span> お買い得にご購入いただけます。 iOS, Android, Mac & パソコンで使えるKindle無料アプリで今すぐ読む
残り1点 ご注文はお早めに 在庫状況について
この商品は、thebookcommunity が販売、発送します。 この出品商品にはコンビニ・ATM・ネットバンキング・電子マネー払いが利用できます。
¥ 6,492 + ¥ 257 配送料
+ ¥ 257 配送料
中古品: 非常に良い | 詳細
発売元 Nearfine
コンディション: 中古品: 非常に良い
コメント: 少し使用感あり。 海外からの発送のため、2—4週間程度でお手元に商品をお届けします。商品及びサービス等の質問は、日本語で対応いたします。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

Software Abstractions: Logic, Language, and Analysis (英語) ハードカバー – 2006/3/24

5つ星のうち 4.0 1 件のカスタマーレビュー

その他(4)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
Kindle版
ハードカバー, 2006/3/24
¥ 6,492
¥ 5,117 ¥ 2,084

この商品には新版があります:

Software Abstractions: Logic, Language, and Analysis (The MIT Press)
¥ 5,294
(1)
通常4~5日以内に発送します。
click to open popover

キャンペーンおよび追加情報

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
  • Android
  • Android

無料アプリを入手するには、Eメールアドレスを入力してください。


商品の説明

内容紹介

In Software Abstractions Daniel Jackson introduces a new approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or "agile modeling"--takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. The designer can use automated analysis not only to correct errors but also to make models that are more precise and elegant. This approach, Jackson says, can rescue designers from "the tarpit of implementation technologies" and return them to thinking deeply about underlying concepts.Software Abstractions introduces the key elements of the approach: a logic, which provides the building blocks of the language; a language, which adds a small amount of syntax to the logic for structuring descriptions; and an analysis, a form of constraint solving that offers both simulation (generating sample states and executions) and checking (finding counterexamples to claimed properties). The book uses Alloy as a vehicle because of its simplicity and tool support, but the book's lessons are mostly language-independent, and could also be applied in the context of other modeling languages.

レビュー

"Abstraction is the essence of simple and effective software design, and logic is the essential tool for exploring and validating abstractions. These basic insights, which have been laboriously rediscovered by many practicing programmers, are now accessible to students and professionals at all levels of experience. Daniel Jackson supports his clear and elegant text with a powerful logical analysis tool that brings his witty examples to life."--Tony Hoare, Senior Researcher, Microsoft



"The examples and exercises, if given time, thought, and effort, can make better designers of all of us, as Alloy is a powerful force-multiplier in the war on bugs.... Jackson's Software Abstractions has my highest recommendation. It is being put to immediate use in my group's venue of software-based safety-critical systems." George Hacken Computing Reviews

商品の説明をすべて表示する

登録情報

  • ハードカバー: 366ページ
  • 出版社: The MIT Press (2006/3/24)
  • 言語: 英語
  • ISBN-10: 0262101149
  • ISBN-13: 978-0262101141
  • 発売日: 2006/3/24
  • 商品パッケージの寸法: 15.9 x 2.5 x 23.5 cm
  • おすすめ度: 5つ星のうち 4.0 1 件のカスタマーレビュー
  • Amazon 売れ筋ランキング: 洋書 - 497,867位 (洋書の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?


カスタマーレビュー

他のお客様にも意見を伝えましょう
すべてのカスタマーレビューを見る(1)

トップカスタマーレビュー

2008年5月29日
形式: ハードカバーAmazonで購入
2人のお客様がこれが役に立ったと考えています
コメント 違反を報告

Amazon.com で最も参考になったカスタマーレビュー

Amazon.com: 5つ星のうち4.8 9 件のカスタマーレビュー
Lorin Hochstein
5つ星のうち4.0Solid introduction to Alloy
2014年5月7日 - (Amazon.com)
Amazonで購入
apple_consumer
5つ星のうち5.0Good and readable introduction to Alloy
2016年1月28日 - (Amazon.com)
Amazonで購入
1人のお客様がこれが役に立ったと考えています.
Amazon Customer
5つ星のうち5.0Alloy is the way of the future!
2017年4月9日 - (Amazon.com)
Amazonで購入
Wes Embry
5つ星のうち5.0This is the original 2006 publication of this book
2013年8月14日 - (Amazon.com)
形式: ハードカバーAmazonで購入
1人のお客様がこれが役に立ったと考えています.
Amazon Customer
5つ星のうち5.0Five Stars
2016年1月4日 - (Amazon.com)
Amazonで購入