Вы здесь

Главная

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th Birthday

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Ключевые слова: 
компьютерная архитектура
формальная логика
формальный метод
формальая верификация
model checking
система обработки естественного языка
язык программирования
разработка требований
линия ппроизводства по
спецификация
темпоральная логика
тестирование
доказательство теорем
верификация
Стр.: 
574 p.
Редактор: 
Ter Beek M. H.
Fantechi A.
Semini L.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11865
Карточка: 

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of His 65th BirthdayEd. by Ter Beek M. H., Fantechi A., Semini L..-Berlin.: Springer, 2019.-Vol. 11865.-574 p.-(Lecture Notes in Computer Science).