Просмотр записи

Cиcт.нoмep	001644835
Идeнтиф.	RU\NLR\AUTH\6601644835
Версия	20181121104417.0
Bлaдeлeц	PUBLIC
Заголовок	Дехтярь М. И., Михаил Иосифович, (1946 - 2018 )
Б.широкое	Информатика
Индекс ББК	З973.233д(2)Дехтярь
Источник	Ик 2018-7/1155 "Program semantics, specification and verification: theory and application", workshop (2018). 9th workshop "Program semantics, specification and verification: theory and applications" dedicated to the memory of B. A. Trakhtenbrot, M. I. Dekhtyar, and M. K. Valiev (Yaroslavl, Russia, June 21-22, 2018) : 9th Workshop PSSV : proceedings / Nikolay Shilov, Vladimir Zakharov (eds.). - Yaroslavl: Yaroslavl state univ., 2018. - 97 с. . : ил. ; 24 .