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 PSSV • 9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018), русскийЯзык: английский.Выходные данные: Yaroslavl : Yaroslavl state univ., 2018Физическая характеристика: 97 с. : ил. ; 24 см.ISBN: 978-5-8397-1149-5 Примечания: В вып. дан.: 9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018).Библиография: Библиогр. в конце докл..Предметная рубрика - Имя лица: Трахтенброт, Борис Авраамович (1921 - 2016) | Дехтярь, Михаил Иосифович (1946 - 2018) | Валиев, Марс Котдусович (1942 - 2018) Предметная рубрика - Тема: Программирование (компьют.) -- Съезды, совещания и т.п Другие классификации: З973.2-018я431(2) ; З973.233д(2)Трахтенброт ; З973.233д(2)Дехтярь ; З973.233д(2)ВалиевКоллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Иностранный книжный фонд | Ик 2018-7/1155 (Просмотр полки(Открывается ниже)) | КН-П-5320 | Доступно | 1-2498405 |
В вып. дан.: 9-й семинар "Семантика, спецификация и верификация программ: теория и приложения", посвященный памяти Б. А. Трахтенброта, М. И. Дехтяря и М. К. Валиева (Ярославль, Россия, 21-22 июня 2018)
По пред.изд. 2014г
Библиогр. в конце докл.