×


 x 

Shopping cart
. Ed(S): Larsen, Kim Gulstrand; Potapov, Igor; Srba, Jiri - Reachability Problems - 9783319459936 - V9783319459936
Stock image for illustration purposes only - book cover, edition or condition may vary.

Reachability Problems

€ 62.80
FREE Delivery in Ireland
Description for Reachability Problems Paperback. Editor(s): Larsen, Kim Gulstrand; Potapov, Igor; Srba, Jiri. Series: Lecture Notes in Computer Science. Num Pages: 207 pages, 38 black & white illustrations, biography. BIC Classification: UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together with2 invited papers and 3 abstracts of invited talks were carefully reviewed and selected from 18 submissions. The papers cover a range of topics in the field of 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 ... Read more

Show Less

Product Details

Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
207
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
193
Place of Publication
Cham, Switzerland
ISBN
9783319459936
SKU
V9783319459936
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Reachability Problems

Goodreads reviews for Reachability Problems


Subscribe to our newsletter

News on special offers, signed editions & more!