Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Lecture Notes in Computer Science
De Boer, Frank S. (EDT)
Bonsangue, Marcello M. (EDT)
Graf, Susanne (
- 出版社：Springer-Verlag New York Inc
- 出版年月：2008年 12月
- ISBN：9783540921875
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：311 p.
- DDC分類：004