通常配送無料 詳細
通常1~2か月以内に発送します。 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。
Logical Analysis of Hybri... がカートに入りました
+ ¥ 257 関東への配送料
中古品: ほぼ新品 | 詳細
発売元 Nearfine
コンディション: 中古品: ほぼ新品
コメント: ほとんど使用されていないようです。 海外からの発送のため、2―4週間程度でお手元に商品をお届けします。商品及びサービス等の質問は、日本語で対応いたします。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
2点すべてのイメージを見る

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


その他(2)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
Amazon 価格
新品 中古品
ハードカバー
"もう一度試してください。"
¥ 19,090
¥ 11,586 ¥ 4,799

AmazonStudent

Amazon Student会員なら、この商品は+10%Amazonポイント還元(Amazonマーケットプレイスでのご注文は対象外)。無料体験でもれなくポイント1,000円分プレゼントキャンペーン実施中。


click to open popover

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

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
  • Android
  • Android

無料アプリを入手するには、Eメールアドレスを入力してください。


商品の説明

内容紹介

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

レビュー

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

商品の説明をすべて表示する

登録情報

  • ハードカバー: 426ページ
  • 出版社: Springer; 2010版 (2010/9/5)
  • 言語: 英語
  • ISBN-10: 3642145086
  • ISBN-13: 978-3642145087
  • 発売日: 2010/9/5
  • 商品パッケージの寸法: 15.5 x 3 x 23.4 cm
  • おすすめ度: この商品の最初のレビューを書き込んでください。
  • Amazon 売れ筋ランキング: 洋書 - 315,023位 (洋書の売れ筋ランキングを見る)
  •  カタログ情報を更新する画像についてフィードバックを提供する、または さらに安い価格について知らせる

  • 目次を見る

カスタマーレビュー

まだカスタマーレビューはありません。
星5つ
星4つ
星3つ
星2つ
星1つ


フィードバック