Fisman Dana, Rosu Grigore Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Confe 9783030995232

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

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

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

в Мои желания

Автор: Fisman Dana, Rosu Grigore
Название: Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Confe
ISBN: 9783030995232
Издательство: Springer
Классификация:

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

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

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

Машинное моделирование и имитация

ISBN-10: 3030995232
Обложка/Формат: Paperback
Страницы: 608
Вес: 0.84 кг.
Дата издания: 03.05.2022
Серия: Lecture notes in computer science
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 134 illustrations, black and white; xxii, 583 p. 134 illus.
Размер: 23.39 x 15.60 x 3.12 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 28th international conference, tacas 2022, held as part of the european joint conferences on theory and practice of software, etaps 2022, munich, germany, april 2-7, 2022, proceedings, part i
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Confe, Fisman Dana, Rosu Grigore