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 II

• Tác giả: Dirk Beyer, Marieke Huisman, SpringerLink (Online service)
• Ngôn ngữ: ger
• ISBN-13: 978-3319899633
• 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, 465 p. 92 illus. , online resource.
• Bộ sưu tập: NCBI
• ID: 169488
• Chủ đề: 1. Artificial intelligence; 2. Computer hardware; 3. Computer logic; 4. Computer organization; 5. Computers; 6. Software engineering; 7. Logics and Meanings of Programs; 8. Artificial Intelligence; 9. Computer Hardware; 10. Computer Systems Organization and Communication Networks; 11. Computing Milieux; 12. Software Engineering/Programming and Operating Systems

Tóm tắt

This book is Open Access under a CC BY licence.