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

• 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
• Chủ đề: 1. Computer logic; 2. Computer system failures; 3. Computers; 4. Data structures (Computer science); 5. Software engineering; 6. Logics and Meanings of Programs; 7. Computing Milieux; 8. Data Structures and Information Theory; 9. Software Engineering/Programming and Operating Systems; 10. System Performance and Evaluation

Tóm tắt

This book is Open Access under a CC BY licence. .