Models, Algorithms, Logics and Tools
Đã lưu trong:
Những tác giả chính: | Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Được phát hành: |
Springer International Publishing
2020
|
Những chủ đề: | |
Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83433 |
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ự
-
Verified Software. Theories, Tools, and Experiments
Bỡi: Paskevich, Andrei, et al.
Được phát hành: (2020) -
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
Bỡi: Khendek, Ferhat, et al.
Được phát hành: (2020) -
Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020) -
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Bỡi: Alvim, Mário S., 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)