Вы здесь

Главная

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
архитектура
верификация
легализация
распределенная система
встроенная система
формальный язык
формальный метод
формальная логика
лингвистика
система параллельной обработки
компиляция программ
дизайн по
model checking
Стр.: 
193 p.
Редактор: 
Bartocci E.
Falcone Y.
Leucker M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
20911
Том: 
13065
Карточка: 

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th BirthdayEd. by Bartocci E., Falcone Y., Leucker M..-Berlin.: Springer, 2021.-Vol. 13065.-193 p.-(Lecture Notes in Computer Science).