Поиск :
Личный кабинет :
Электронный каталог: Миронов, А. М. - Методы верификации программ
Миронов, А. М. - Методы верификации программ
Доступно
1 из 3
1 из 3
Книга
Автор: Миронов, А. М.
Методы верификации программ
Издательство: ДМК Пресс, 2023 г.
ISBN 9785937002785
Автор: Миронов, А. М.
Методы верификации программ
Издательство: ДМК Пресс, 2023 г.
ISBN 9785937002785
Заказать 
На полку
Книга
004 М641
Миронов, А. М.
Методы верификации программ / А. М. Миронов. – М.: ДМК Пресс, 2023. – 334 с. – ISBN 9785937002785.
004.052.42
общий = Информатика и вычислительная техника = computer science and technology : информационная безопасность. Защита данных = IT security. Data protection [ 004.056 ]
общий = Информатика и вычислительная техника = computer science and technology : теория информации = information theory [ 004-027.21 ]
232960 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 004 М641
232958 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 М641
232959 Библиотека НИУ ВШЭ Покровский б-р, науч. аб-т : Pokrovsky blvd., Academic collection lending department Научный 004 М641
004 М641
Миронов, А. М.
Методы верификации программ / А. М. Миронов. – М.: ДМК Пресс, 2023. – 334 с. – ISBN 9785937002785.
004.052.42
общий = Информатика и вычислительная техника = computer science and technology : информационная безопасность. Защита данных = IT security. Data protection [ 004.056 ]
общий = Информатика и вычислительная техника = computer science and technology : теория информации = information theory [ 004-027.21 ]
232960 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 004 М641
232958 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 М641
232959 Библиотека НИУ ВШЭ Покровский б-р, науч. аб-т : Pokrovsky blvd., Academic collection lending department Научный 004 М641