SpecC仕様記述言語と方法論

By Daniel D. Gajski, Jianwen Zhu, Rainer D ̈omer, Andreas Gerstlauer, Shuqing Zhao

SpecC仕様記述言語と方法論
Preview available
ハードウェアとソフトウェアを統合して、エンベデッド・システムの仕様を記述するための新しい言語SpecCの解説書です。

Book Details