Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions
著者
書誌事項
Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions
（Lecture notes in computer science, 4171）
Springer, c2008
大学図書館所蔵 全4件
注記
"State-of-the-art-survey"--Cover
"ifip"--Cover
Includes bibliographical references and index