Raschke Alexander, Mйry Dominique, Houdek Frank Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings 9783030480769

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

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

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

в Мои желания

Автор: Raschke Alexander, Mйry Dominique, Houdek Frank
Название: Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings
ISBN: 9783030480769
Издательство: Springer
Классификация:

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

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

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

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

ISBN-10: 3030480763
Обложка/Формат: Paperback
Страницы: 428
Вес: 0.61 кг.
Дата издания: 19.07.2020
Серия: Theoretical computer science and general issues
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 66 illustrations, color; 609 illustrations, black and white; xii, 428 p. 674 illus., 66 illus. in color.
Размер: 23.39 x 15.60 x 2.29 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 7th international conference, abz 2020, ulm, germany, may 27-29, 2020, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it.

Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings, Raschke Alexander, Mйry Dominique, Houdek Frank