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

• 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
• Chủ đề: 1. Computer logic; 2. Computer simulation; 3. Computer system failures; 4. Computers; 5. Mathematical logic; 6. Software engineering; 7. Logics and Meanings of Programs; 8. Mathematical Logic and Formal Languages; 9. Simulation and Modeling; 10. Software Engineering/Programming and Operating Systems; 11. System Performance and Evaluation; 12. The Computing Profession

Tóm tắt

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