|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Верификация программ методом model checkingкнига
- Автор: Миронов А.М.
- Год издания: 2020
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Объём: 74 страниц (5,0 печатных листов)
- ISBN: 978-5-317-06514-0
- Тираж: 100 экз.
- Монография
- Добавил в систему: Миронов Андрей Михайлович