Вы здесь

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

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

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