Formal Specification Level: Concepts, Methods, and Algorithms by Mathias Soeken
126,52 €
By Mathias Soeken, Rolf Drechsler. 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).
Jetzt bei Ebay: