Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme e-bog
509,93 DKK
(inkl. moms 637,41 DKK)
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.
E-bog
509,93 DKK
Forlag
Vieweg+Teubner Verlag
Udgivet
24 september 2010
Genrer
Computer hardware
Sprog
German
Format
pdf
Beskyttelse
LCP
ISBN
9783834897039
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.