ᐉ Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог

Часто задаваемые вопросы

Как купить Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прог?

Для покупки нажмите Купить, перейдите в интернет-магазин "Book24", добавьте товары в корзину и оформите заказ.

Оплатить покупку возможно банковскими картами, банковским переводом, наличными при получении. Перечень всех способов оплаты доступен при оформлении заказа.

Какие варианты доставки?

Заказ может быть доставлен курьерской службой, транспортными компаниями, Почтой России. Возможен самовывоз из пунктов выдачи и постаматов. Способ доставки выбирается при оформлении заказа.

Сколько времени занимает доставка?

Сроки доставки зависят от региона. Обычно это от 1 до 7 рабочих дней. Транспортировка в отдаленные регионы или позиций "под заказ" может достигать до 1 месяца. Точную информацию можно уточнить в карточке товара или у менеджера.

Можно ли вернуть товар?

Да, в соответствии с законом «О защите прав потребителей» вы можете вернуть товар надлежащего качества в течение 14 дней с момента покупки, если он не был в употреблении, сохранены упаковка, ярлыки и товарный вид, и при этом не входит в перечень товаров, не подлежащих возврату или обмену (утверждённый Постановлением Правительства РФ №55).

Есть ли гарантия?

На большинство товаров предоставляется гарантия от производителя. Срок гарантии указан в описании товара.