Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
暫譯: 混合系統的邏輯分析：複雜動態的定理證明

André Platzer

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
  • 出版商: Springer
  • 出版日期: 2014-11-28
  • 售價: $4,050
  • 貴賓價: 9.5 折 $3,848
  • 語言: 英文
  • 頁數: 456
  • 裝訂: Paperback
  • ISBN: 3642444741
  • ISBN-13: 9783642444746

    • 海外代購書籍(需單獨結帳)

商品描述

In this book, 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’s coherent logical approach covers theory, practice, and applications.

商品描述(中文翻譯)

在這本書中，作者提供了一個基於邏輯的獨特視角來分析混合系統。這是第一本利用邏輯的力量來研究混合系統的書籍。作者一致的邏輯方法涵蓋了理論、實踐和應用。

類似商品