熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 1 筆, 頁數 1 / 1
呈現:
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/Wg 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-
A Step Towards Verified Software Worries about the reliability of software are as old as software it... more |