Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540755951
标注页数
566 页
PDF页数
581 页
书籍介绍
出版社
Springer-Verlag
出版时间
2007
ISBN
9783540755951
标注页数
566 页
PDF页数
581 页