Manuel A. Martins & Igor Sedlar 
Dynamic Logic. New Trends and Applications [EPUB ebook] 
Third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers

支持

This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, Da Li 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions.The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The Da Li 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.

€57.59
支付方式
购买此电子书可免费获赠一本!
语言 英语 ● 格式 EPUB ● ISBN 9783030658403 ● 编辑 Manuel A. Martins & Igor Sedlar ● 出版者 Springer International Publishing ● 发布时间 2020 ● 下载 3 时 ● 货币 EUR ● ID 8033103 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

3,695 此类电子书