Verified Software. Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Товарная группа: Компьютерные технологии

Наш сервис сравнения цен ShopLiga.Ru - подбирает для вас самые лучшие и актуальные цены на товары от проверенных продавцов из различных регионов России. Предлагаемая продукция отличается высоким качеством, и пользуются большой популярностью. Мы стараемся поддерживать самые актуальные цены на товары, размещаем детальные технические характеристики, статьи с рекомендациями и отзывами покупателей о продукции и размещенных магазинах.

Verified Software. Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers - можно купить на официальном сайте нашего партнера ozon.ru. Также, на сайте доступно подробное описание и существует возможность ознакомиться с полным каталогом товаров. В интернет-магазине ozon.ru помогут оформить заказ и обсудят возможную доставку на дом.

Лучшая цена в магазине:

7 764 руб.

ПОСМОТРЕТЬ

Наличие на складеТоропитесь, товар заканчивается на складе!
Сегодня его купили 1 раз
Доставка Россия Самовывоз, курьерская доставка, почта России, EMS, ТК
Способы оплаты наличный расчет, безналичный расчет, Webmoney, Яндекс.Деньги

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.