Sefer Israel — книги на русском языке из Израиля
0 items0 ₪
Отображение единственного товара
Книга «Введение в формальные методы верификации программ. 2-е изд., испр». Издательство: ДМК-Пресс. Год выпуска: 2024. Переплет: Твердый переплет. Автор: Камкин А.С.