Dynamic Logic. New Trends and Applications: Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Pape
商品資訊
ISBN13：9783030658397
出版社：Springer Nature
作者：Manuel A. Martins(EDI)
出版日：2021/03/04
裝訂：平裝
商品簡介
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaL 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 DaL 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.
今日66折
![Wicked [Movie Tie-In]:魔法壞女巫電影原著](https://cdnec.sanmin.com.tw/product_images/006/006285284.jpg)
您曾經瀏覽過的商品
購物須知
外文書商品之書封，為出版社提供之樣本。實際出貨商品，以出版社所提供之現有版本為主。部份書籍，因出版社供應狀況特殊，匯率將依實際狀況做調整。
無庫存之商品，在您完成訂單程序之後，將以空運的方式為你下單調貨。為了縮短等待的時間，建議您將外文書與其他商品分開下單，以獲得最快的取貨速度，平均調貨時間為1~2個月。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。