Formal Methods for Components and Objects

Lưu vào:
Hiển thị chi tiết
Tác giả chính: Boer, Frank S. de, Bonsangue, Marcello M., Graf, Susanne, Roever, Willem-Paul de
Đị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/81999
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!