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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Condizione: new. Questo è un articolo print on demand. Codice articolo A8AR3YXRTP
Quantità: Più di 20 disponibili
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783032095237
Quantità: 1 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 250 pages. 9.26x6.11x9.21 inches. In Stock. This item is printed on demand. Codice articolo __3032095239
Quantità: 1 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 51821091-n
Quantità: 15 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition. Codice articolo 51821091
Quantità: 15 disponibili
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 240 pp. Englisch. Codice articolo 9783032095237
Quantità: 2 disponibili
Da: moluna, Greven, Germania
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Codice articolo 2636420041
Quantità: Più di 20 disponibili
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 250 pages. 9.26x6.11x9.21 inches. In Stock. Codice articolo x-3032095239
Quantità: 2 disponibili
Da: Books Puddle, Woodside, NY, U.S.A.
Condizione: New. Codice articolo 26404932812
Quantità: 4 disponibili
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783032095237
Quantità: 1 disponibili