Книга «Введение в формальные методы верификации программ. 2-е изд., испр». Издательство: ДМК-Пресс. Год выпуска: 2024. Переплет: Твердый переплет. Автор: Камкин А.С.
Нет в наличии
| Вес | 22.3 унция |
|---|---|
| Габариты | 21.59 × 14.48 × 2.54 дюйм |
| handling_time | 14 days |
| Издательство | |
| переплет | Твердый переплет |
| Автор | |
| дата-получения | 03.12.2024 |
| Год выпуска | |
| SKU | 11581420 |
| ISBN | 978-5-93700-340-9 |
| EAN | 9785937003409 |
Будьте первым, кто оставил отзыв на “Введение в формальные методы верификации программ. 2-е изд., испр”
Похожие товары
![]()
Нет в наличии![]()
Нет в наличии![]()
Нет в наличии![]()
Нет в наличии![]()
Нет в наличии![]()
Нет в наличии
Отзывы
Отзывов пока нет.