Вы здесь

Главная

Integrated Formal Methods: Proc./16th International Conference, IFM 2020, Lugano, Switzerland, November 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
теория вычислений
модель вычислений
архитектура
верификация
легализация
формальная логика
model checking
качество по
теоретическое программирование
theoretical computer science
Стр.: 
461 p.
Редактор: 
Dongol B.
Troubitsyna E.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
20909
Том: 
12546
Карточка: 

Integrated Formal Methods: Proc./16th International Conference, IFM 2020, Lugano, Switzerland, November 2020Ed. by Dongol B., Troubitsyna E..-Berlin.: Springer, 2020.-Vol. 12546.-461 p.-(Lecture Notes in Computer Science).