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: | Ábrahám, Erika, Havelund, Klaus |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Được phát hành: |
Springer
2015
|
Những chủ đề: | |
Truy cập trực tuyến: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58333 |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Những quyển sách tương tự
-
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Vojnar, Tomáš, et al.
Được phát hành: (2020) -
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Vojnar, Tomáš, et al.
Được phát hành: (2020) -
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2020) -
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Ramakrishnan, C.R., et al.
Được phát hành: (2020) -
Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Beyer, Dirk, et al.
Được phát hành: (2020)