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