Вы здесь
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 2019Ed. by Zakharov V., Shilov N., Anureev I..-Novosibirsk., 2019.-38 p.