無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。
ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。
携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。
Modal and Temporal Properties of Processes (Texts in Computer Science) ハードカバー – イラスト付き, 2001/6/15
英語版
Colin Stirling
(著)
{"desktop_buybox_group_1":[{"displayPrice":"¥8,965","priceAmount":8965.00,"currencySymbol":"¥","integerValue":"8,965","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"1F0%2Fr3%2BqctBz3rRt3zJY%2BPf%2BqZmuIgT6er%2BS%2Ft4dWpMDaXv%2BYo803mDLoUZHcvD0UTOicwrs%2FgScOxj66ReyGcMtDto%2BaIbhk8qdg%2FVcTt8jStPzy%2BdynlyGmChfGcXSliz6NVUYlWKKqz2iLzDe1AlUaIsU2CzcyKEHkh7CdasB8uMVRwrH%2BZl4bxtrPyz9","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}
購入オプションとあわせ買い
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods in all areas of computer science and software programming.
- 本の長さ203ページ
- 言語英語
- 出版社Springer
- 発売日2001/6/15
- 寸法17.88 x 1.32 x 23.65 cm
- ISBN-100387987177
- ISBN-13978-0387987170
登録情報
- 出版社 : Springer; 第2001版 (2001/6/15)
- 発売日 : 2001/6/15
- 言語 : 英語
- ハードカバー : 203ページ
- ISBN-10 : 0387987177
- ISBN-13 : 978-0387987170
- 寸法 : 17.88 x 1.32 x 23.65 cm
著者について
著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう
カスタマーレビュー
5つ星 | 0% | |
4つ星 | 0% | |
3つ星 | 0% | |
2つ星 | 0% | |
1つ星 | 0% |
虚偽のレビューは一切容認しません
私たちの目標は、すべてのレビューを信頼性の高い、有益なものにすることです。だからこそ、私たちはテクノロジーと人間の調査員の両方を活用して、お客様が偽のレビューを見る前にブロックしています。 詳細はこちら
コミュニティガイドラインに違反するAmazonアカウントはブロックされます。また、レビューを購入した出品者をブロックし、そのようなレビューを投稿した当事者に対して法的措置を取ります。 報告方法について学ぶ