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 II

• Tác giả: SpringerLink (Online service) Vojnar Tomáš., Lijun Zhang
• Ngôn ngữ: ger
• ISBN-13: 978-3030174651
• 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, 413 p. 552 illus., 55 illus. in color. , online resource.
• Bộ sưu tập: NCBI
• ID: 168977
• Chủ đề: 1. Algorithms; 2. Artificial intelligence; 3. Computer logic; 4. Logic design; 5. Mathematical logic; 6. Software engineering; 7. Logics and Meanings of Programs; 8. Algorithm Analysis and Problem Complexity; 9. Logic Design; 10. Logic in AI; 11. Mathematical Logic and Formal Languages; 12. Software Engineering/Programming and Operating Systems

Tóm tắt

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