Groote Jan Friso, Larsen Kim Guldstrand Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe 9783030720155

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

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

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

в Мои желания

Автор: Groote Jan Friso, Larsen Kim Guldstrand
Название: Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe
ISBN: 9783030720155
Издательство: Springer
Классификация:

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

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

Математическая теория вычислений

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

ISBN-10: 3030720152
Обложка/Формат: Paperback
Страницы: 471
Вес: 0.69 кг.
Дата издания: 25.04.2021
Язык: English
Размер: 23.39 x 15.60 x 2.54 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe, Groote Jan Friso, Larsen Kim Guldstrand