Вы здесь

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

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Стр.: 
193 p.
Место издания: 
Издательство: 
Источник: 
Том: 
13065
Карточка: 

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