Barbara Jobstmann; K. Rustan M. Leino Verification, Model Checking, and Abstract Interpretation 9783662491218

Варианты приобретения

Цена: 10062.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Barbara Jobstmann; K. Rustan M. Leino
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 9783662491218
Издательство: Springer
Классификация:

Тестирование и верификация программного обеспечения

ISBN-10: 3662491214
Обложка/Формат: Paperback
Страницы: 558
Вес: 0.79 кг.
Дата издания: 26.12.2015
Серия: Theoretical Computer Science and General Issues
Язык: English
Размер: 234 x 156 x 30
Основная тема: Computer Science
Подзаголовок: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016.

Verification, Model Checking, and Abstract Interpretation, Barbara Jobstmann; K. Rustan M. Leino