Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

Chi tiết về thư mục
Định dạng: Điện tử eBook
Ngôn ngữ:Tiếng Anh
Được phát hành: Association for Computing Machinery (ACM), 4/15/19
Những chủ đề:
Truy cập trực tuyến:Full text available on Research4Life (ACM)

Những quyển sách tương tự