• 参考価格: ¥ 22,326
  • OFF: ¥ 215 (1%)
通常配送無料 詳細
通常1~3か月以内に発送します。 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。

お届け先住所
アドレス帳を使用するにはサインインしてください
または
-
正しい郵便番号を入力してください。
または
+ ¥ 257 関東への配送料
中古品: 良い | 詳細
発売元 明倫館書店
コンディション: 中古品: 良い
コメント: 2010年、表紙少スレ・少汚れあり、その他古書としてきれいな状態です。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
2点すべてのイメージを見る

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


その他(2)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
Amazon 価格
新品 中古品
ハードカバー
¥ 22,111
¥ 19,194 ¥ 6,000
ペーパーバック ¥ 20,470

AmazonStudent
【学生限定】Prime Student会員なら、この商品は10%Amazonポイント還元。6か月無料体験登録をして、お得に本を買おう。(Amazonマーケットプレイスでのご注文は対象外)
click to open popover

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

  • 本カテゴリの商品を2500円以上購入で買取金額500円UPキャンペーン対象商品です。商品出荷時に買取サービスでご利用いただけるクーポンをメールにてご案内させていただきます。 詳細はこちら (細則もこちらからご覧いただけます)
  • 【判型について】 洋書の主な判型については こちらをご確認ください。

  • 【買取サービス】 Amazonアカウントを使用して簡単お申し込み。売りたいと思った時に、宅配買取もしくは出張買取を選択してご利用いただけます。 今すぐチェック。

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 売れ筋ランキング: 洋書 - 586,351位 (洋書の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る

カスタマーレビュー

まだカスタマーレビューはありません。
他のお客様にも意見を伝えましょう