Главная страница
jQuery. Сборник рецептов + CD
jQuery. Сборник рецептов + CD - Самков Г.А.
Книга является сборником решений наиболее часто встречающихся задач при веб-программировании пользовательских интерфейсов с использованием библиотеки jQuery. Рассмотрены практич...
Цена: 106.98 грн
+ получите 5.35 грн на бонусный счет
О компании Доставка и оплата Помощь Контакты
Войти на сайт

  Логин (Регистрация)


  Пароль(Забыли?)

Закрыть [x]
Хиты продаж
Распродажа
Новинки
Top-100
Новости
Личный кабинет

Компьютерная литература >> Программирование >> Другие языки

MODEL CHECKING. Вертификация параллельных и распределенных программных систем (+CD) - Карпов Ю.

MODEL CHECKING. Вертификация параллельных и распределенных программных систем (+CD)

Издательство: BHV-СПб

Артикул: 29453

цена: 191.35 грн


наличие книги

купить книгу: MODEL CHECKING. Вертификация параллельных и распределенных программных систем (+CD) | Карпов Ю. (WebMoney: 24,85 wmz)

Зарегистрированные пользователи получают 5% на бонусный счет от каждого заказа 9.57 грн. на бонусный счет!

Год издания: 2010
Номер издания: 0
В наличии: 6 шт.
ISBN: 978-5-9775-0404-1
Количество страниц: 560
Формат:
Вес книги: 0
Обложка:

Лучшая книга издательства Top 500 рейтинга Букзон

Специальное предложение!

Нашли книгу в других интернет-магазинах дешевле? Отправьте нам ссылку и мы оплатим разницу! подробнее

Ссылка:     Цена:     Ваш email: 

Описание книги

В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий. Для студентов вузов, программистов и исследователей в области информатики
 

С этой книгой хорошо покупать

          

           522,29 грн
Программирование в среде Cocoa для Mac OS X.

(Экономьте 26.11 грн на следующей покупке)


Отзывы

Ваше имя:
Комментарий:
Введите символы на картинке:



Обратите внимание

Другие языки

Совершенный код - 279.49
Изучаем Python Изд.4 - 410.82
ActionScript 3.0. Шаблоны проектирования - 327.83

Стив Макконнелл

Совершенный код

Марк Лутц

Изучаем Python Изд.4

Уильям Сандерс, Чандима Кумаранатунг

ActionScript 3.0. Шаблоны проектирования
  • Приемы объектно-ориентированного проектирования. Паттерны проектирования. Библиотека программиста - Э. Гамма, Р. Хелм, Р. Джонсон, Дж. Влиссидес
  • Философия Java. Библиотека программиста - Брюс Эккель
  • Объектно-ориентированное программирование в C++. Классика Computer Science - Роберт Лафоре
  • Создаем динамические веб-сайты с помощью PHP, MySQL и JavaScript - Робин Никсон
  • Android 3 для профессионалов. Создание приложений для планшетных компьютеров и смартфонов - Сатия Коматинени, Дэйв Маклин, Саид


    • Подпишитесь на RSS каналы и узнавайте о новинках первыми!

    rssКомпьютерная литература

    rssПрограммирование

    rssДругие языки

    Вверх страницы ▲


     

    О Букзоне

    Как оплатить покупку
    Как получить
    Контакты и схема проезда

    Cкидки

    Бесплатная доставка
    Скидки от УкрСиббанка
    Партнерская программа

    Кабинет

    Личный кабинет
    Книга отзывов
    Помощь


    © 2003 — 2012 Интернет-магазин «Букзон»