Вы здесь

Formal Methods - The Next 30 Years: Proc./3rd World Congress, FM 2019, Porto, Portugal, October 2019

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

Formal Methods - The Next 30 Years: Proc./3rd World Congress, FM 2019, Porto, Portugal, October 2019/Ed. by Ter Beek M. H., McIver A., Oliveira J. N..-Berlin.: Springer, 2019.-Vol. 11800.-774 p.-(Lecture Notes in Computer Science).