￥8,999 税込

ポイント: 90pt (1%) 詳細はこちら

無料配送 6月20日-28日にお届け（5 時間 20 分以内にご注文の場合）
詳細を見る

お届け先を選択

残り1点ご注文はお早めに在庫状況について

￥￥8,999 () 選択したオプションを含めます。最初の月の支払いと選択されたオプションが含まれています。詳細

出荷元

INAAY SHOP

出荷元

INAAY SHOP

販売元

INAAY SHOP

（43件の評価）

販売元

INAAY SHOP

（43件の評価）

支払い方法

お客様情報を保護しています

支払い方法

お客様情報を保護しています

Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。詳細はこちら

詳細はこちら

すべて見る

￥4,968 税込

コンディション【良い】年中無休・安心の追跡番号付き発送・返品保証★丁寧にクリーニング後、埼玉県より迅速発送いたします。配送状況は注文履歴よりご確認ください。局留めご希望の場合は、お届け先ご住所を郵便局の住所にし、○○郵便局留めとご記入下さい。埼玉県公安委員会古物商許可証　第431100028608号[book] コンディション【良い】年中無休・安心の追跡番号付き発送・返品保証★丁寧にクリーニング後、埼玉県より迅速発送いたします。配送状況は注文履歴よりご確認ください。局留めご希望の場合は、お届け先ご住所を郵便局の住所にし、○○郵便局留めとご記入下さい。埼玉県公安委員会古物商許可証　第431100028608号[book] 一部を表示

配送料 ¥520 6月15日-16日にお届け（1 時間 50 分以内にご注文の場合）
詳細を見る

お届け先を選択

残り1点ご注文はお早めに在庫状況について

￥￥8,999 () 選択したオプションを含めます。最初の月の支払いと選択されたオプションが含まれています。詳細

選択した拡張機能は、この出品者では利用できません。詳細

${cardName}は選択した出品者では利用できません

${maxQuantity}より大きい数量の場合は${cardName}は使用できません。

この商品は、KAUZO（嵯峨野株式会社）毎日・迅速・丁寧な発送に心掛けていますが販売、発送します。

Amazonの他の出品者

新品＆中古品 (15)件の出品：￥4,968 + ￥520 配送料

画像はありません

選択したカラーの画像がありません。
カラー：

このビデオを見るには、次をダウンロード Flash Player

著者をフォロー

Daniel Jackson

フォロー

Software Abstractions: Logic, Language, And Analysis ハードカバー – 2006/4/7

英語版 Daniel Jackson (著)

4.6 26個の評価

すべての形式と版を表示

このページの読み込み中に問題が発生しました。もう一度試してください。

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

Software Abstractions: Logic, Language, and Analysis (The MIT Press)
￥7,322
(26)
通常4～5日以内に発送します。

{"desktop_buybox_group_1":[{"displayPrice":"￥8,999","priceAmount":8999.43,"currencySymbol":"￥","integerValue":"8,999","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"vYdj7gWmvPFCJKTtuRZrctpXCC8jkVF2YRxt2wOkVP0XixPnxzCcWsI4%2FnTaNPrPSi%2FLLOCseWLMCNuqVXNJltUYGiLdz82%2B6glJen7qadFXrfEuIag%2F%2Fy%2BxilAE%2FOcJUIt1zznuus3UVUOjXIsHuLUriUh0rdCnoe%2FW1oaIduyjAhrEngx6mQI6uQUJWV89","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}, {"displayPrice":"￥4,968","priceAmount":4968.00,"currencySymbol":"￥","integerValue":"4,968","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"vYdj7gWmvPFCJKTtuRZrctpXCC8jkVF2GpvFeOBcFAtqGj9GEkcxzf7ugZqBYS1osLr%2FlsE04hzQEMFJoLW%2BCntskt2CJ8SCdmrLI5HoJZ6EpPs9rv4uJVSd0jqJDbAHRAeVA72TYkal2wjFNTmv3yR0H7K2MwS2VDapQsFb4cXVvjc2GiVQog%3D%3D","locale":"ja-JP","buyingOptionType":"USED","aapiBuyingOptionIndex":1}]}

購入オプションとあわせ買い

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.

この商品に関する問題を報告する

本の長さ

350ページ
言語

英語
出版社

Mit Pr
発売日

2006/4/7
寸法

15.88 x 2.54 x 23.5 cm
ISBN-10

0262101149
ISBN-13

978-0262101141
すべての詳細を表示

商品の説明

著者について

Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.

登録情報

出版社 ‏ : ‎ Mit Pr (2006/4/7)
発売日 ‏ : ‎ 2006/4/7
言語 ‏ : ‎ 英語
ハードカバー ‏ : ‎ 350ページ
ISBN-10 ‏ : ‎ 0262101149
ISBN-13 ‏ : ‎ 978-0262101141
寸法 ‏ : ‎ 15.88 x 2.54 x 23.5 cm

カスタマーレビュー:
4.6 26個の評価

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。

Daniel Jackson

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう

カスタマーレビュー

5つのうち4.6つ

26グローバルレーティング

星2つ

0%

星1つ

0%

虚偽のレビューは一切容認しません

この商品をレビュー

カスタマーレビューを書く

レビューのソート基準

上位レビュー、対象国：日本

レビューのフィルタリング中に問題が発生しました。後でもう一度試してください。

カスタマー

形式手法Alloyの本

2008年5月29日に日本でレビュー済み

Amazonで購入

Lightweight Formal Methodsの先駆けである、Alloyについての書籍。
Alloyは集合とリレーションに基づいている。
SPINなどのモデル検証ツールよりも数学的な知識が必要だが、
慣れれば単純明快なモデルの記述が可能だ。

書籍でのAlloyのバージョンは少々古いので注意が必要。
最新版(現時点では4.1.5)では文法が変更されている。

星4つとしたのは(意図的と思われるが)数学記号が文面に一切ない点。

いずれにしてもAlloyは、今後が非常に楽しみなツールだ。

2人のお客様がこれが役に立ったと考えています

役に立った

他の国からのトップレビュー

すべてのレビューを日本語に翻訳

Timothy J. Stewart

How am I just now hearing about this book?

2023年4月20日にアメリカ合衆国でレビュー済み

Amazonで購入

I'm constantly on the lookout for new books that give me new insights into improving software development. Over and over again I see people recommend "Code Complete", "SICP", "Clean Code", etc. but I have only recently seen someone recommend this book and I'm delighted to have finally found it.

I love the writing style and the author presents things so clearly. The Alloy language is beautiful and succinct and the book describes how to get the most out of the Alloy tool. Yes, the Alloy language has made some significant advances since this book was written but this is still a fantastic book to learn the majority of Alloy's features.

2人のお客様がこれが役に立ったと考えています

レビューを日本語に翻訳する

I learnt a great deal of stuff from this well-written text

2015年1月15日にインドでレビュー済み

Amazonで購入

Absolutely fabulous book. I learnt a great deal of stuff from this well-written text. Highly recommended.

2人のお客様がこれが役に立ったと考えています

レビューを日本語に翻訳する

apple_consumer

Good and readable introduction to Alloy

2016年1月27日にアメリカ合衆国でレビュー済み

Amazonで購入

Good and readable introduction to Alloy.

You probably want the printed edition. Unfortunately, the Kindle edition version is the older the first edition.

This is not Amazon's fault -- MIT Press site has no ebook version of the second edition.

5人のお客様がこれが役に立ったと考えています

レビューを日本語に翻訳する

Lausdahl

Four Stars

2014年7月29日に英国でレビュー済み

Amazonで購入

I can definitely recommend this book, well written, and interesting.

レビューを日本語に翻訳する

Lorin Hochstein

Solid introduction to Alloy

2014年5月7日にアメリカ合衆国でレビュー済み

Amazonで購入

Good book for learning the fundamentals of Alloy. It's written in a very accessible fashion. I only wish there were a few more non-trivial examples to show how to apply Alloy to model different kinds of problems, since the challenge with these types of modeling languages is not just mastering the basic functionality, but understanding how to apply them to solve problems.

4人のお客様がこれが役に立ったと考えています

レビューを日本語に翻訳する

レビューをすべて見る

Amazon Advertising 商品の露出でお客様の関心と反応を引き出す	Audible（オーディブル）「聴く」読書会員なら聴き放題	アマゾンウェブサービス（AWS）クラウドコンピューティングサービス	Amazonアウトレット訳あり商品をお手頃価格で販売

Amazonビジネス（法人購買）請求書払い法人価格・数量割引	AmazonGlobal 65か国/地域以上への海外配送がより簡単に	Shopbop 世界中の厳選されたファッションアイテム

著者をフォロー

Software Abstractions: Logic, Language, And Analysis ハードカバー – 2006/4/7

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

購入オプションとあわせ買い

商品の説明

著者について

登録情報

著者について

Daniel Jackson

カスタマーレビュー

この商品をレビュー

上位レビュー、対象国： 日本

レビューのフィルタリング中に問題が発生しました。後でもう一度試してください。

他の国からのトップレビュー

上位レビュー、対象国：日本