Введение в формальные методы верификации программ
Код 5566011
- ISBN: 978-5-93700-340-9
- 304 страницы
- ноябрь 2024
- ДМК
- 631 г
Наличие на складе
Склад в Москве
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 05.12.2025; планируемая отправка: 06.12.2025
Склад в С.-Петербурге
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 08.12.2025; планируемая отправка: 09.12.2025
![Информатика 2кл [Учебник] ФГОС ФП](/static/images/item_no_cover.png)
Оставить комментарий