Вы здесь

Program Semantics, Specification and Verification: Theory and Applications: Abstracts./X Workshop PSSV Held as Part of PSI'19, Novosibirsk, Russia, July 2019

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

Б2.23, Б3.54.

Program Semantics, Specification and Verification: Theory and Applications: Abstracts./X Workshop PSSV Held as Part of PSI'19, Novosibirsk, Russia, July 2019/Ed. by Zakharov V., Shilov N., Anureev I..-Novosibirsk., 2019.-38 p.