Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Lecture Notes in Computer Science
Boer, Frank S. De (EDT)
Bonsangue, Marcello M. (EDT)
Graf, Susanne (
- 出版社:Springer-Verlag New York Inc
- 出版年月:2005年 11月
- ISBN:9783540291312
- 装丁:PAP
-
装丁について
- 言語:ENG
- 巻数・ページ数:323 p.
- 分類: コンピュータ一般
- DDC分類:005.131