中古品:

￥9,467 税込

配送料 ¥410 6月14日-16日にお届け（2 時間 25 分以内にご注文の場合）
詳細を見る

お届け先を選択

中古商品: 良い | 詳細

発売元 KAUZO（嵯峨野株式会社）毎日・迅速・丁寧な発送に心掛けています

Amazonの他の出品者

新品＆中古品 (11)件の出品：￥9,467 + ￥410 配送料

画像はありません

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

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

著者をフォロー

Gerard J. Holzmann

フォロー

SPIN Model Checker, The: Primer and Reference Manual ハードカバー – 2003/9/4

英語版 Gerard J. Holzmann (著)

4.8 6個の評価

すべての形式と版を表示

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

The SPIN Model Checker is used for both teaching software verification

techniques, and for validating large scale applications. The growing number of

users has created a need for a more comprehensive user guide and a standard

reference manual that describes the most recent version of the tool. This book

fills that need.

SPIN is used in over 40 countries. The offical SPIN web site, spinroot.com

receives between 2500 and 3000 hits per day.

It has been estimated that up to three-quarters of the $400 billion spent

annually to hire programmers in the United States is ultimately spent on

debugging.

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

本の長さ

608ページ
言語

英語
出版社

Addison-Wesley Professional
発売日

2003/9/4
寸法

18.42 x 2.54 x 24.13 cm
ISBN-10

0321228626
ISBN-13

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

商品の説明

著者について

DR. GERARD J. HOLZMANN is the principal designer of the SPIN system. Formerly Directory of Computing Principles Research at Bell Laboratories in Murray Hill, N.J., he recently joined NASA's Jet Propulsion Laboratory in Pasadena, CA, to help set up a new Laboratory for Reliable Software. Holzmann's earlier books include Design and Validation of Computer Protocols (Prentice Hall), and The Early History of Data Networks (IEEE CS Press).

登録情報

出版社 ‏ : ‎ Addison-Wesley Professional; 第1版 (2003/9/4)
発売日 ‏ : ‎ 2003/9/4
言語 ‏ : ‎ 英語
ハードカバー ‏ : ‎ 608ページ
ISBN-10 ‏ : ‎ 0321228626
ISBN-13 ‏ : ‎ 978-0321228628
寸法 ‏ : ‎ 18.42 x 2.54 x 24.13 cm

Amazon 売れ筋ランキング: - 1,404,976位洋書 (洋書の売れ筋ランキングを見る)
- - 772位Parallel Processing Computers
- - 2,111位Industrial, Manufacturing & Operational Systems (洋書)
- - 3,727位Software Business

カスタマーレビュー:
4.8 6個の評価

著者について

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

Gerard J. Holzmann

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

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

カスタマーレビュー

5つのうち4.8つ

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

星3つ

0%

星2つ

0%

星1つ

0%

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

この商品をレビュー

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

レビューのソート基準

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

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

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

kaizen

キラーアプリはどこに

2008年3月12日に日本でレビュー済み

SPIN is an acronym for Simple Promela Interpreter.
Promela is a specification language in verification system, SPIN.
I am not a promela programer. I want to know executable example or killer application using Promela/SPIN.
For example, operating system, network protocols or real application should be written using Promela.
Then this book is the best book, who test the system.
There are many references of the promela syntax, grammer, notes and examples.

役に立った

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

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

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

Jim Valerio

Great reference manual

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

Amazonで購入

I bought the book because I decided to formally verify several different multi-threaded hardware and software designs I am working on. While I'm familiar with the concepts and experienced in this kind of design, this was my first foray into writing these kinds of models.

I found the Promela language funky, and the publicly available tools were reminscent of compiler technology 30 years ago. The book makes up for all this, though, because as a reference I could go between the examples and my code and figure out what was syntactically or semantically wrong.

The reference book was also helpful in suggesting debugging techniques to figure out what issues that the model was uncovering. But the most important part of this process was moving from interpreter to compiled model, and understanding how to use the trails and then later the compile-time options to track down issues and to get the verification to complete in a reasonable memory footprint. Compared to a few other formal verification tools I have looked at, the debugging and compilation options are better here. And the reference book explains these at the level of detail you need to know to use them effectively.

My only complaint with the book is that I bought a paperback version, and I used it so much over 3 weeks that the binding is already breaking down. My recommendation is that you spend more and buy the hardcover book, because you may spend a lot of time with it open!

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

Chris Hobbs

The classic text for SPIN

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

Amazonで購入

This is the classic text and, although it is shewing signs of age, it's still the best introduction. Ben-Ari's book is also good but I'm not completely comfortable with the way it introduces Promela almost as a standard programming language---thinking of it as a programming rather than specification language can lead to a wrong mindset. Holzmann's book doesn't fall into that trap.

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

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

レビューをすべて見る

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

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

著者をフォロー

SPIN Model Checker, The: Primer and Reference Manual ハードカバー – 2003/9/4

商品の説明

著者について

登録情報

著者について

Gerard J. Holzmann

カスタマーレビュー

この商品をレビュー

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

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

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

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