Вы здесь

Главная

NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
искусственный интеллект
автоматический
доказательство теорем
генерация кода
распределенная система
отказоустойчивость
формальный метод
формальная верификация
model checking
решение проблем
язык программирования
система реального времени
runtime-verification
спецификация
темпоральная логика
Стр.: 
470 p.
Редактор: 
Dutle A.
Munoz C.
Narkawicz A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
10811
Карточка: 

NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018Ed. by Dutle A., Munoz C., Narkawicz A..-Berlin.: Springer, 2018.-Vol. 10811.-470 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO12 841