25 Years of Model Checking
Lưu vào:
Tác giả chính: | Grumberg, Orna, Veith, Helmut |
---|---|
Đị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/81710 |
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ự
-
Model Checking Software
Thông tin xuất bản: (2020) -
Model Checking Software
Thông tin xuất bản: (2020) -
Model Checking and Artificial Intelligence
Thông tin xuất bản: (2020) -
Conceptual Modeling
Thông tin tác giả:: Mayr, Heinrich C., và những người khác
Thông tin xuất bản: (2020) -
Model and Data Engineering
Thông tin tác giả:: Abdelwahed, El Hassan, và những người khác
Thông tin xuất bản: (2020)