Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth

• 出版社Springer-Verlag
• 标注页数558 页
• 文件页数573 页
• 文件大小257.82 MB
• 出版时间2005
• ISBN3540278826