Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Reachability Problems

Name: Reachability Problems
Brand: Springer-Verlag GmbH
SKU: 9783032095237
Price: 61.27 EUR
Availability: InStock

Автор: Alessio Mansutti

Език:

Корици: С меки корици

Издател: Springer-Verlag GmbH

Наличност: Външен склад

Изпращаме след 5-8 дни

61.27 € 119.82 лв

This book constitutes the proceedings of the 19th International Conference on Reachability Problems,...

Информация за книгата

Автор

Alessio Mansutti

Език

Английски език

Корици

Книга - С меки корици

Издадена

2026

страници

276

EAN

9783032095237

ISBN

3032095239

Enbook ID

49688390

Издател

Springer-Verlag GmbH

Теглоt

394

Пълно описание

This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.

The 12 full papers included in these proceedings were carefully reviewed and selected from 35 submissions. The book also contains three invited talks in full paper length. The papers cover topics in reachability problems that appear, among others, in algebraic structures, automata theory and formal languages, computational game theory, concurrency and distributed computation, decision procedures in computational models, hybrid dynamical systems, logic and model checking, and verification of finite- and infinite-state systems.