Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014....
Đã lưu trong:
| Những tác giả chính: | , |
|---|---|
| 格式: | 图书 |
| 语言: | English |
| 出版: |
Springer
2015
|
| 主题: | |
| 在线阅读: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58333 |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|