FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Programming and Software Engineering
Misra, Jayadev (EDT)
Nipkow, Tobias (EDT)
Sekerinski, Emil (EDT)
- 出版社：Springer-Verlag New York Inc
- 出版年月：2006年 09月
- ISBN：9783540372158
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：620 p.
- 分類： ソフトウェア工学
- DDC分類：005.3