Beyer Dirk, Zufferey Damien Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proce 9783030393212

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

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

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

в Мои желания

Автор: Beyer Dirk, Zufferey Damien
Название: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proce
ISBN: 9783030393212
Издательство: Springer
Классификация:

Компьютерное программирование / разработка по

Алгоритмы и структуры данных

Технология разработки программного обеспечения

Компьютерные сети и коммуникации

Архитектура и логическое построение вычислительных систем

Искусственный интеллект

ISBN-10: 3030393216
Обложка/Формат: Paperback
Страницы: 471
Вес: 0.68 кг.
Дата издания: 07.02.2020
Серия: Theoretical computer science and general issues
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 63 illustrations, color; 918 illustrations, black and white; xiv, 471 p. 981 illus., 63 illus. in color.
Размер: 23.39 x 15.60 x 2.49 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 21st international conference, vmcai 2020, new orleans, la, usa, january 16-21, 2020, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proce, Beyer Dirk, Zufferey Damien