Введение в формальные методы верификации программ
Код 5566011
- ISBN: 978-5-93700-340-9
- 304 страницы
- ноябрь 2024
- ДМК
- 631 г
Наличие на складе
Склад в Москве
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 11.04.2025; планируемая отправка: 12.04.2025
Склад в С.-Петербурге
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 14.04.2025; планируемая отправка: 15.04.2025
Оставить комментарий