Вы здесь

Главная

NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
формальный метод
model checking
sat solving
автоматический
статический анализ
модальная логика
темпоральная логика
доказательство теорем
автоматическое доказательство
верификация по
легализация по
формальный язык
теория автоматов
логика высшего порядка
теория доказательств
Стр.: 
392 p.
Редактор: 
Badger J. M.
Rozier K. Y.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11460
Карточка: 

NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019Ed. by Badger J. M., Rozier K. Y..-Berlin.: Springer, 2019.-Vol. 11460.-392 p.-(Lecture Notes in Computer Science).