熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 3 筆, 頁數 1 / 1
呈現:
Formal Methods for Components and Objects: 9th International Symposium, Fmco 2010, Graz, Austria, November 29 - December 1, 2010
|
|||
Tests and Proofs: 10th International Conference, Tap 2016, Held as Part of Staf 2016, Vienna, Austria, July 5-7, 2016, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Pro... more |
|||
Formal Methods at the Crossroads: From Panacea to Foundation Support: 10th Anniversary Colloquium of Unu/Iist the International Institute for Software
|