Вы здесь

Главная

Software Engineering and Formal Methods: Proc./16th International Conference, SEFM 2018 Held as Part of STAF 2018, Toulouse, France, June 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
формальный метод
расширяемый
domain-specific language
теория типов
correctness-by-construction
формальная верификация
вероятностный
верификация
разработка по
семантика
спецификация
решение проблем
Стр.: 
303 p.
Редактор: 
Johnsen E. B.
Schaefer I.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
10886
Карточка: 

Software Engineering and Formal Methods: Proc./16th International Conference, SEFM 2018 Held as Part of STAF 2018, Toulouse, France, June 2018Ed. by Johnsen E. B., Schaefer I..-Berlin.: Springer, 2018.-Vol. 10886.-303 p.-(Lecture Notes in Computer Science).