Вы здесь

Главная

Dynamic Logic: New Trends and Applications: Revised Selected Papers/3rd International Workshop, DaLi 2020, Prague, Czech Republic, October 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
верификация архитектуры
динамическая логика
встроенная система
логика знаний
формальный язык
формальная логика
модальная логика
model checking
Стр.: 
295 p.
Редактор: 
Martins M. A.
Sedlar I.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12569
Карточка: 

Dynamic Logic: New Trends and Applications: Revised Selected Papers/3rd International Workshop, DaLi 2020, Prague, Czech Republic, October 2020Ed. by Martins M. A., Sedlar I..-Berlin.: Springer, 2020.-Vol. 12569.-295 p.-(Lecture Notes in Computer Science).