Hou Zhe, Ganesh Vijay Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedi 9783030888848

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

Цена: 9146.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2026-06-01
Ориентировочная дата поставки: Июль
При условии наличия книги у поставщика.

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

в Мои желания

Автор: Hou Zhe, Ganesh Vijay
Название: Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedi
ISBN: 9783030888848
Издательство: Springer
Классификация:

Аппаратное обеспечение коипьютеров

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

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

ISBN-10: 3030888843
Обложка/Формат: Paperback
Страницы: 400
Вес: 0.56 кг.
Дата издания: 14.11.2021
Серия: Lecture notes in computer science
Язык: English
Издание: 1st ed. 2021
Иллюстрации: 49 illustrations, color; 54 illustrations, black and white; xv, 382 p. 103 illus., 49 illus. in color.
Размер: 23.39 x 15.60 x 2.08 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 19th international symposium, atva 2021, gold coast, qld, australia, october 18-22, 2021, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021.

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedi, Hou Zhe, Ganesh Vijay