• 参考価格: ¥ 19,609
  • OFF: ¥ 236 (1%)
通常配送無料 詳細
通常1~2か月以内に発送します。 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。
数量:1
Logical Analysis of Hybri... がカートに入りました
+ ¥ 257 関東への配送料
中古品: 非常に良い | 詳細
発売元 thurmanbooks
コンディション: 中古品: 非常に良い
コメント: イギリスより発送。土日祝日を除き8~10営業日で配送可能。商品やサービスにご不満な場合は、返品・返金を保障いたします。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
2点すべてのイメージを見る

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


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

AmazonStudent

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


click to open popover

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

  • Apple
  • Android
  • Android

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



【Amazonランキング大賞 2016上半期】入賞発表!
洋書総合は『The Rider Tarot Deck』 が堂々の1位。 洋書総合ランキングへ

商品の説明

内容紹介

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 売れ筋ランキング: 洋書 - 305,653位 (洋書の売れ筋ランキングを見る)
  •  カタログ情報を更新する画像についてフィードバックを提供する、または さらに安い価格について知らせる

  • 目次を見る

カスタマーレビュー

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


フィードバック