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 9783030720124

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

Цена: 5589.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 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: 9783030720124
Издательство: Springer
Классификация:

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

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

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

ISBN-10: 3030720128
Обложка/Формат: Paperback
Страницы: 465
Вес: 0.68 кг.
Дата издания: 10.05.2021
Язык: English
Размер: 23.39 x 15.60 x 2.49 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