Поиск :
Личный кабинет :
Электронный каталог: Камкин, А. С. - Введение в формальные методы верификации программ
Камкин, А. С. - Введение в формальные методы верификации программ
Доступно
1 из 3
1 из 3
Книга
Автор: Камкин, А. С.
Введение в формальные методы верификации программ
Издательство: ДМК Пресс, 2025 г.
ISBN 9785937003409
Автор: Камкин, А. С.
Введение в формальные методы верификации программ
Издательство: ДМК Пресс, 2025 г.
ISBN 9785937003409
Заказать 
На полку
Книга
004 К183
Камкин, А. С.
Введение в формальные методы верификации программ / А. С. Камкин. – 2-е изд., испр. и доп. – М.: ДМК Пресс, 2025. – 303 с. – ISBN 9785937003409.
004.415.5
общий = Информатика и вычислительная техника = computer science and technology : программное обеспечение (программные средства) = software [ 004.4 ]
общий = Труды сотрудников НИУ ВШЭ : Камкин А. С.
235698 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 004 К183
235696 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 К183
235697 Библиотека НИУ ВШЭ Покровский б-р, науч. аб-т : Pokrovsky blvd., Academic collection lending department Научный 004 К183
004 К183
Камкин, А. С.
Введение в формальные методы верификации программ / А. С. Камкин. – 2-е изд., испр. и доп. – М.: ДМК Пресс, 2025. – 303 с. – ISBN 9785937003409.
004.415.5
общий = Информатика и вычислительная техника = computer science and technology : программное обеспечение (программные средства) = software [ 004.4 ]
общий = Труды сотрудников НИУ ВШЭ : Камкин А. С.
235698 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 004 К183
235696 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 К183
235697 Библиотека НИУ ВШЭ Покровский б-р, науч. аб-т : Pokrovsky blvd., Academic collection lending department Научный 004 К183