¥17,096
  • 参考価格: ¥18,419
  • OFF: ¥1,323 (7%)
& 配送料無料
通常3~4日以内に発送します。
Kindle版(電子書籍)もあります。 在庫状況について
この商品は、ブックデポジトリー (Book Depository) が販売、発送します。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。

著者をフォロー

何か問題が発生しました。後で再度リクエストしてください。


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

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

その他 の形式およびエディションを表示する 他の形式およびエディションを非表示にする
価格
新品 中古品
Kindle版 (電子書籍)
ハードカバー
¥17,096
¥17,095 ¥21,226
お届け日: 12月13日 - 24日 詳細を見る

本2冊以上で3%ポイント還元

click to open popover

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

5日間のBig Sale 12/1[火] 23:59まで
第2弾 サイバーマンデー 開催中
今すぐチェック

商品の説明

レビュー

"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.

 


登録情報

  • 発売日 : 2010/9/5
  • ハードカバー : 456ページ
  • ISBN-10 : 9783642145087
  • ISBN-13 : 978-3642145087
  • 寸法 : 15.6 x 2.54 x 23.39 cm
  • ASIN : 3642145086
  • 出版社 : Springer; 2010番め版 (2010/9/5)
  • 言語: : 英語
  • カスタマーレビュー:
    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で購入