Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International
出版社
Springer-Verlag
出版时间
2006
ISBN
9783540489283
标注页数
197 页
PDF页数
208 页
书籍介绍
出版社
Springer-Verlag
出版时间
2006
ISBN
9783540489283
标注页数
197 页
PDF页数
208 页