Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

• Tác giả: SpringerLink (Online service) Vojnar Tomáš., Lijun Zhang
• Ngôn ngữ: ger
• ISBN-13: 978-3030174620
• 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ý: XXIII, 433 p. 1251 illus., 61 illus. in color. , online resource.
• Bộ sưu tập: NCBI
• ID: 169398
• Chủ đề: 1. Artificial intelligence; 2. Computer logic; 3. Computer system failures; 4. Computers; 5. Mathematical logic; 6. Software engineering; 7. Logics and Meanings of Programs; 8. Artificial Intelligence; 9. Mathematical Logic and Formal Languages; 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. .