Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers

Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / Carlos Areces, Diana Costa, editors.

Saved in:
书目详细资料
企业作者: DaLí (International Workshop) Online)
其他作者: Areces, Carlos (Editor), Costa, Diana (Editor)
格式: 电子书
语言:English
出版: Cham, Switzerland : Springer, 2023.
丛编:Lecture notes in computer science ; 13780.
主题:
Computer logic > Congresses.
Software engineering > Congresses.
Computer networks > Congresses.
Computer logic
Computer networks
Software engineering
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
在线阅读:Click for online access
登录 预定和召回信息

因特网

Click for online access

Online

持有资料详情 Online
可用

相似书籍