登入選單
返回Google圖書搜尋
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
David Trachtenherz
出版Springer-Verlag, 2010-09-24
主題Computers / Logic DesignComputers / GeneralComputers / Hardware / GeneralComputers / Information TechnologyComputers / Computer Science
ISBN38348970359783834897039
URLhttp://books.google.com.hk/books?id=XqpgfO9SsykC&hl=&source=gbs_api
EBookSAMPLE
註釋David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht.