Igor Potapov; Pierre-Alain Reynier Reachability Problems 9783030002497

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

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

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

в Мои желания

Автор: Igor Potapov; Pierre-Alain Reynier
Название: Reachability Problems
ISBN: 9783030002497
Издательство: Springer
Классификация:

Математические методы анализа и информационные системы финансово-хозяйственной деятельности

Компьютерное программирование / разработка по

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

Архитектура и логическое построение вычислительных систем

ISBN-10: 3030002497
Обложка/Формат: Soft cover
Страницы: 161
Вес: 0.29 кг.
Дата издания: 2018
Серия: Theoretical Computer Science and General Issues
Язык: English
Издание: 1st ed. 2018
Иллюстрации: 32 illustrations, black and white; xxi, 161 p. 32 illus.
Размер: 234 x 156 x 10
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.

The 11 full papers presented were carefully reviewed and selected from 21 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps, and new computational paradigms.

Reachability Problems, Igor Potapov; Pierre-Alain Reynier