熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 1 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Abz 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, Tla, VDM, and
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ... more |
