Structured Object-Oriented Formal Language and Method
Đã lưu trong:
Những tác giả chính: | Miao, Huaikou, Tian, Cong, Liu, Shaoying, Duan, Zhenhua |
---|---|
Đị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/90026 |
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ự
-
Structured Object-Oriented Formal Language and Method
Bỡi: Liu, Shaoying, et al.
Được phát hành: (2020) -
Structured Object-Oriented Formal Language and Method
Bỡi: Tian, Cong, et al.
Được phát hành: (2020) -
Formal Methods for Components and Objects
Được phát hành: (2020) -
Formal Methods for Open Object-Based Distributed Systems
Bỡi: Barthe, Gilles
Được phát hành: (2020) -
Formal Methods for Components and Objects
Bỡi: Boer, Frank S. de, et al.
Được phát hành: (2020)