Verification, Model Checking, and Abstract Interpretation
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Lecture Notes in Computer Science
Jones, Neil D. (EDT)
Muller-Olm, Markus (EDT)
- 出版社：Springer Verlag
- 出版年月：2009年 01月
- ISBN：9783540938996
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：380 p.
- DDC分類：004