熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 3 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the...... more |
||
|
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the...... more |
||
|
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming
This book presents novel approaches to the formal specification of concurrent and parallel systems, ... more |
