
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL).
- Undertittel
- Concepts, Methods, and Algorithms
- Forfatter
- Mathias Soeken, Rolf Drechsler
- Opplag
- Softcover reprint of the original 1st ed. 2015
- ISBN
- 9783319378824
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 23.8.2016
- Antall sider
- 138
