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
Ик 2018-7/1155 - 30 экз.978-5-8397-1149-5/[2018-73668]/английский/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.).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.).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.Yaroslavl/Yaroslavl state univ./, 2018 ( ). - Yaroslavl state univ., 2018. - 97 с. : ил. ; 24 см.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. Yaroslavl, 2018 .
В вып. дан.: 9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018). - Библиогр. в конце докл. Библиогр. в конце докл.9th Workshop PSSV/9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018)/Трахтенброт, Борис Авраамович (1921 - 2016)/Дехтярь, Михаил Иосифович (1946 - 2018)/Валиев, Марс Котдусович (1942 - 2018)/Программирование (компьют.) -- Съезды, совещания и т.п/З973.2-018я431(2)/З973.233д(2)Трахтенброт/З973.233д(2)Дехтярь/З973.233д(2)Валиев/ "Program semantics, specification and verification: theory and application", workshop ( 9; 2018; Moscow ).
В вып. дан.: 9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018). - Библиогр. в конце докл. Библиогр. в конце докл.9th Workshop PSSV/9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018)/Трахтенброт, Борис Авраамович (1921 - 2016)/Дехтярь, Михаил Иосифович (1946 - 2018)/Валиев, Марс Котдусович (1942 - 2018)/Программирование (компьют.) -- Съезды, совещания и т.п/З973.2-018я431(2)/З973.233д(2)Трахтенброт/З973.233д(2)Дехтярь/З973.233д(2)Валиев/ "Program semantics, specification and verification: theory and application", workshop ( 9; 2018; Moscow ).