Formal Methods for Components and Objects, FMCO 2002
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures
Lecture Notes in Computer Science Vol.2852
Ed. by Frank S.de Boer, Marcello M. Bonsangue, Susanne Graf et al.
- 出版社：Springer, Berlin
- 出版年月：2003年 00月
- ISBN：9783540203032
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2003. VIII
- 巻数・ページ数：509 p.
- 分類： ソフトウェア工学