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 I

• Tác giả: Dirk Beyer, Marieke Huisman
• Ngôn ngữ: eng
• ISBN-13: 978-3319899596
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: New York, NY : Springer Berlin Heidelberg, 2018
• Mô tả vật lý: xx, 429p.
• Bộ sưu tập: Công nghệ thông tin
• ID: 121630
• Chủ đề: 1. Logics and Meanings of Programs; 2. Computing Milieux; 3. Data Structures and Information Theory; 4. Software Engineering/Programming and Operating Systems; 5. System Performance and Evaluation