Перегляньте наші товари, щоб зробити замовлення
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.
Ви можете оплатити замовлення одним із способів:
Ви зможете оплатити замовлення у відділенні компанії «Нова Пошта» в момент отримання посилки. На етапі оформлення замовлення виберіть спосіб оплати «Накладений платіж».
У вас також є можливість оплачувати на картки Приватбанку, Монобанку або IBAN.
Доставка замовлень здійснюється компаніями «Нова Пошта» та «Укрпошта» до 5 днів з моменту оформлення замовлення кількома способами:
Ви зможете оплатити замовлення кур'єру під час отримання або через додаток Нової пошти у своєму кабінеті.
Укрпоштою наш магазин відправляє замовлення тільки за передоплатою. Вартість доставки оплачуєте під час отримання у відділенні.
Згідно з Додатком 3 до Постанови Кабінету Міністрів України від 19 березня 1994 р. № 172 «Про реалізацію окремих положень Закону України “Про захист прав споживачів» друкована продукція належної якості не підлягає обміну та поверненню. Виняток становлять випадки, коли виявлено поліграфічний брак, який призводить до втрати інформації: відсутність друкованого тексту, заминання друкарським верстатом сторінки, невідповідність назви книги на обкладинці її змісту, перевернуті по відношенню до обкладинки сторінки. У разі виявлення таких недоліків за вами залишається право повернути в наш магазин книгу, придбану раніше, протягом 14 днів з моменту отримання.
Одинадцятирічний хлопчик-сирота Гаррі Поттер живе в сім'ї своєї тітки і навіть не підозрює, що він справжній чарівник. Але одного разу прилітає сова із листом для нього, і життя Гаррі Поттера змінюється назавжди. Він дізнається, що зарахований до Школи Чарівництва та Чарівництва, з'ясовує правду про загадкову смерть своїх батьків, а в результаті йому вдається розкрити секрет філософського каменю.
