Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14- 20, 2018 Proceedings. Part II

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Dirk Beyer, Marieke Huisman

Ngôn ngữ: eng

Ký hiệu phân loại: 004 Data processing || Computer science

Thông tin xuất bản: New York, NY : Springer Berlin Heidelberg, 2018

Mô tả vật lý:

Bộ sưu tập: Công nghệ thông tin

ID: 122575

Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH