Perspectives of System Informatics
Lưu vào:
Tác giả chính: | Petrenko, Alexander K., Voronkov, Andrei |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Thông tin xuất bản: |
Springer International Publishing
2020
|
Chủ đề: | |
Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86298 |
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ự
-
Perspectives of Systems Informatics
Thông tin tác giả:: Voronkov, Andrei, và những người khác
Thông tin xuất bản: (2020) -
Perspectives of System Informatics
Thông tin tác giả:: Bjørner, Nikolaj, và những người khác
Thông tin xuất bản: (2020) -
Software Engineering for Resilient Systems
Thông tin tác giả:: Romanovsky, Alexander, và những người khác
Thông tin xuất bản: (2020) -
Quantitative Evaluation of Systems
Thông tin tác giả:: McIver, Annabelle, và những người khác
Thông tin xuất bản: (2020) -
Model-Based Testing of Reactive Systems
Thông tin xuất bản: (2020)