Вы здесь

Главная

Fundamentals of Software Engineering: Revised Selected Papers/8th International Conference, FSEN 2019, Tehran, Iran, May 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
комплексная система
распределенная система
формальная логика
формальный метод
формальная модель
теория графов
сети петри
решение проблем
язык программирования
дизайн по
спецификация
доказательство теорем
верификация
large-scale system
Стр.: 
261 p.
Редактор: 
Hojjat H.
Massink M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11761
Карточка: 

Fundamentals of Software Engineering: Revised Selected Papers/8th International Conference, FSEN 2019, Tehran, Iran, May 2019Ed. by Hojjat H., Massink M..-Berlin.: Springer, 2019.-Vol. 11761.-261 p.-(Lecture Notes in Computer Science).