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