Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation 9781680833867

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

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

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

в Мои желания

Автор: Min` Antoine
Название: Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
ISBN: 9781680833867
Издательство: Now Publishers
Классификация:

Языки программирования и описания сценариев: общие сведения

ISBN-10: 1680833863
Обложка/Формат: Paperback
Страницы: 268
Вес: 0.38 кг.
Дата издания: 28.02.2018
Язык: English
Размер: 234 x 156 x 14
Поставляется из: США
Описание: This monograph is intended as an entry course in Abstract Interpretation, after which the reader should be ready to read the research literature on current advances in Abstract Interpretation, as well as more practical articles on the design of industrial-strength static analyzers for real languages.

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation, Min` Antoine