Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Shukla, S. K. (EDT)
Talpin, J. (EDT)
- 出版社：Springer
- 出版年月：2010年 07月
- ISBN：9781441963994
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：300 p.
- 分類： ソフトウェア工学
- DDC分類：621
装丁について