FME 2003: Formal Methods
International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Lecture Notes in Computer Science 2805
Herausgegeben von Araki, Keijiro
Gnesi, Stefania
Mandrioli, Dion
- 出版社：Springer, Berlin
- 出版年月：2003年 00月
- ISBN：9783540408284
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2003. XVII
- 巻数・ページ数：942 p.
- 分類： コンピュータ一般