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