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

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

Thêm vào giỏ

1. Algorithms
2. Analysis of systems
3. Construction of systems

1. Đọc trực tuyến

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