Dynamic Logic: New Trends and Applications: Proc./2nd International Workshop, DaLi 2019, Porto, Portugal, October 2019 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2020

Ключевые слова:

epistemic logic

динамическая логика

модальная логика

темпоральная логика

программная семантика

программное доказательство

верификация

pre- and post- conditions

Стр.:

227 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

12005

Карточка:

Dynamic Logic: New Trends and Applications: Proc./2nd International Workshop, DaLi 2019, Porto, Portugal, October 2019Ed. by Barbosa L. S., Baltag A..-Berlin.: Springer, 2020.-Vol. 12005.-227 p.-(Lecture Notes in Computer Science).