Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

• Tác giả: Christel Baier, Ugo Dal Lago
• Ngôn ngữ: ger
• ISBN-13: 978-3319893662
• 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ý: XV, 583 p. 75 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 169430
• Chủ đề: 1. Artificial intelligence; 2. Computer logic; 3. Computer science-Mathematics; 4. Computer system failures; 5. Computers; 6. Software engineering; 7. Logics and Meanings of Programs; 8. Artificial Intelligence; 9. Discrete Mathematics in Computer Science; 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.