Roberto Giacobazzi; Josh Berdine; Isabella Mastroe Verification, Model Checking, and Abstract Interpretation 9783642358722

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

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

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

в Мои желания

Автор: Roberto Giacobazzi; Josh Berdine; Isabella Mastroe
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 9783642358722
Издательство: Springer
Классификация:

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

ISBN-10: 3642358721
Обложка/Формат: Paperback
Страницы: 556
Вес: 0.79 кг.
Дата издания: 07.01.2013
Серия: Theoretical Computer Science and General Issues
Язык: English
Размер: 234 x 156 x 30
Основная тема: Computer Science
Подзаголовок: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.

Verification, Model Checking, and Abstract Interpretation, Roberto Giacobazzi; Josh Berdine; Isabella Mastroe