Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

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

Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Ngôn ngữ: ger

ISBN-13: 978-3030175023

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

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

Mô tả vật lý: XXVII, 258 p. 449 illus., 25 illus. in color. , online resource.

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

ID: 168759

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