Leveraging Applications of Formal Methods
First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Theoretical Computer Science and General Issues
Maragria, Tiziana (EDT)
Steffen, Bernhard (EDT)
- 出版社：Springer
- 出版年月：2006年 12月
- ISBN：9783540489283
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：197 p.
- 分類： コンピュータグラフィックス
- DDC分類：004