Formal Methods for Components and Objects
7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Lecture Notes in Computer Science
Boer, F. S. (EDT)
Bonsangue, M. M. (EDT)
- 出版社：Springer
- 出版年月：2009年 10月
- ISBN：9783642041662
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：299 p.
- 分類： コンピュータ一般
- DDC分類：004