Finkbeiner Bernd, Wies Thomas Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proc 9783030945824

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

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

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

в Мои желания

Автор: Finkbeiner Bernd, Wies Thomas
Название: Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proc
ISBN: 9783030945824
Издательство: Springer
Классификация:

Математические основы

Сетевое оборудование

Теория вычислительных машин и систем, кибернетика

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

ISBN-10: 3030945820
Обложка/Формат: Paperback
Страницы: 532
Вес: 0.73 кг.
Дата издания: 14.02.2022
Серия: Theoretical computer science and general issues
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 80 illustrations, color; 74 illustrations, black and white; x, 520 p. 154 illus., 80 illus. in color.
Размер: 23.39 x 15.60 x 2.72 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 23rd international conference, vmcai 2022, philadelphia, pa, usa, january 16-18, 2022, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proc, Finkbeiner Bernd, Wies Thomas