新品:
¥17,113
参考価格: ¥21,307 詳細

参考価格は、製造業者、卸売業者、輸入総代理店等、小売業者以外の者(以下「製造業者等」といいます)が設定し、あらかじめカタログや商品本体への印字等により公表されている希望小売価格または製造業者等が小売業者に対して呈示している参考小売価格です。
値下がりしました: ¥4,194 (20%)
無料配送: 10月3日 - 8日 詳細を見る
通常3~4日以内に発送します。 在庫状況について
Kindle版は、無料のKindleアプリがあればお持ちの端末で今すぐお読みいただけます。
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
出荷元 ブックデポジトリー (Book Depository)
販売元 ブックデポジトリー (Book Depository)
出荷元
ブックデポジトリー (Book Depository)
この商品は1-Click注文できません。
この商品をお持ちですか? マーケットプレイスに出品する
Kindleアプリのロゴ画像

無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません 詳細はこちら

Kindle Cloud Readerを使い、ブラウザですぐに読むことができます。

携帯電話またはEメールアドレスを入力する

リクエストを処理しています...

「リンクを送信」を押すと、Amazonの利用規約に同意したことになります。

お客様は、AmazonまたはAmazonの代理業者からのKindleアプリに関する自動テキストメッセージを、上記の携帯電話番号に受信することに同意するものとします。同意は購入の条件ではありません。メッセージおよびデータ料金が適用される場合があります。

裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics ハードカバー – 2010/9/5

5つ星のうち5.0 1個の評価

価格
新品 中古品
Kindle版 (電子書籍)
ハードカバー
¥17,113
¥16,782 ¥20,643
ペーパーバック ¥12,746

購入を強化する


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

商品の説明

レビュー

"This book offers a truly unique approach to hybrid systems verification with logic and theorem proving." (Edmund M. Clarke, Carnegie Mellon University)

著者について

The author is an assistant professor in the Computer Science Department at Carnegie Mellon University. He has an M.Sc. in computer science from the University of Karlsruhe, Germany and a Ph.D. in computer science from the University of Oldenburg, Germany. Among other awards he won best paper awards at the Tableaux 2007 and FM 2009 conferences, he was among Popular Science Magazine's annual "Brilliant 10" in 2009, he received the ACM Doctoral Dissertation Honorable Mention Award in 2009, he was among the IEEE Intelligent Systems' biennial "AI's 10 to Watch" in 2011, and he received an NSF Career award in 2011. His research interests include the logical foundations of cyberphysical systems, theorem proving and model checking.

 

登録情報

  • ASIN ‏ : ‎ 3642145086
  • 出版社 ‏ : ‎ Springer; 第2010版 (2010/9/5)
  • 発売日 ‏ : ‎ 2010/9/5
  • 言語 ‏ : ‎ 英語
  • ハードカバー ‏ : ‎ 456ページ
  • ISBN-10 ‏ : ‎ 9783642145087
  • ISBN-13 ‏ : ‎ 978-3642145087
  • 寸法 ‏ : ‎ 15.6 x 2.54 x 23.39 cm
  • カスタマーレビュー:
    5つ星のうち5.0 1個の評価

カスタマーレビュー

5つ星のうち5.0
星5つ中の5
1 件のグローバル評価
星5つ
100%
星4つ 0% (0%) 0%
星3つ 0% (0%) 0%
星2つ 0% (0%) 0%
星1つ 0% (0%) 0%
評価はどのように計算されますか?

この商品をレビュー

他のお客様にも意見を伝えましょう

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

日本からの0件のレビューとお客様による0件の評価があります

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

Bricoleur
5つ星のうち5.0 La référence
2016年10月28日にフランスでレビュー済み
Amazonで購入