Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 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 I

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

Tác giả: Dirk Beyer, Marieke Huisman

Ngôn ngữ: ger

ISBN-13: 978-3319899602

Ký hiệu phân loại: 005.1015113 Programming

Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2018

Mô tả vật lý: XX, 429 p. 93 illus. , online resource.

Bộ sưu tập: Tài liệu truy cập mở

ID: 169429

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