【新品本物】 Andre システム開発) ハイブリッドシステムの検証形式手法 (数理論理学 Systems Hybrid of Analysis Logical Platzer著数学

お気に入りブランド

商品がカートに追加されました

販売価格：￥5,100 税込

在庫あり

※ 商品のお届けについてはこちらよりご確認ください。

SHOPPING が販売、発送いたします。

当日発送可 (14:00までのご注文が対象)

利用可

※
ポストにお届け / 一点のみ購入でご利用可能です。
ゆうパケットでのお届けの場合はサンプル・ノベルティが対象外となります。
ゆうパケットには破損・紛失の保証はございません。
詳しくはこちらよりご確認ください。

商品の詳細

■商品および状態の説明■

おおざっぱな紹介で恐縮ですが、数理論理学の古典的（厳密にはダイナミック論理）な公理に、微分方程式や代数方程式の公理を追加すると、現実のシステムの論理的評価ができるという内容の本です
ヨーロッパ鉄道の衝突回避システムや、航空機の衝突回避行動の例が載っていて興味深い本です
新品購入後、序盤のほうを本を傷めない様に読みました
保管に伴うスレはありますが、外観はきれいです
中身は読みグセ、カキコミ、ヨゴレありません
参考リンク： https://link.springer.com/book/10.1007/978-3-642-14509-4
非喫煙環境での保管・使用です。タバコ臭のほか、悪臭はありません
その他画像にてご判断ください

▲発送方法▲

★まとめて取引ついて★

＊ご注意＊

★不明点はご質問ください