
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).
- Undertitel
- Concepts, Methods, and Algorithms
- Författare
- Mathias Soeken, Rolf Drechsler
- Upplaga
- Softcover reprint of the original 1st ed. 2015
- ISBN
- 9783319378824
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2016-08-23
- Sidor
- 138