* в связи с отменой регулярного авиасообщения срок доставки может быть дольше обычного
Книга «Введение в формальные методы верификации программ. 2-е изд., испр». Издательство: ДМК-Пресс. Год выпуска: 2024. Переплет: Твердый переплет. Автор: Камкин А.С.
Стандартная доставка 14-21 рабочий день
Бесплатная доставка при покупке от 250 ₪
100% безопасная сделка
Гарантия возврата оплаты
Истории о таланте, амбициях, страхах, упрямстве и способности менять время вокруг себя
Тайны прошлого, опасные игры настоящего и герои, которым нельзя доверять даже наполовину!
Самый уютный жанр на свете — детектив. Там всегда есть порядок, хаос и обязательная развязка.
Они настолько увлекательны и хорошо написаны, что отложить их почти невозможно.
Для тех, кто создает дом с душой— уютно, тепло, с верой в собственные силы и вкус
Они вдохновляют, заставляют улыбаться, мечтать, проживать, чувствовать.
Подборка книг о политике, войне и жизни в Израиле глазами очевидцев, аналитиков и участников событий
Детские комиксы, которые помогут самостоятельно «расчитаться» первокласснику
Авторские издания об Иерусалиме — увлекательные рассказы, история и прогулки с непревзойденным гидом
Хотите непрошенную, но ценную рекомендацию? Держите целых пять!
Мы выбрали для вас сильные вещи, книги, мастерски написанные авторами, удостоенными наград и премий
Книги о стране и её истории, о людях и событиях; бестселлеры, которые постоянно переиздаются…
Талантливо написанные тексты знаменитых людей: о себе, об искусстве, о жизни, современниках и эпохе
