Tools and Algorithms for the Construction and Analysis of Systems
Lưu vào:
Tác giả chính: | Grumberg, Orna, Huth, Michael |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Thông tin xuất bản: |
Springer Berlin Heidelberg
2020
|
Chủ đề: | |
Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81768 |
Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|
Tài liệu tương tự
-
Tools and Algorithms for the Construction and Analysis of Systems
Thông tin xuất bản: (2020) -
Tools and Algorithms for the Construction and Analysis of Systems
Thông tin tác giả:: Beyer, Dirk, và những người khác
Thông tin xuất bản: (2020) -
Tools and Algorithms for the Construction and Analysis of Systems
Thông tin tác giả:: Beyer, Dirk, và những người khác
Thông tin xuất bản: (2020) -
Tools and Algorithms for the Construction and Analysis of Systems
Thông tin tác giả:: Ramakrishnan, C.R., và những người khác
Thông tin xuất bản: (2020) -
Tools and Algorithms for the Construction and Analysis of Systems
Thông tin tác giả:: Vojnar, Tomáš, và những người khác
Thông tin xuất bản: (2020)