Description: Reachability Problems Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings Author(s): Kim Guldstrand Larsen, Igor Potapov, Ji?? Srba Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319459936, 978-3319459936 Synopsis 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 new computational paradigms.
Price: 38.28 GBP
Location: Aldershot
End Time: 2025-01-03T11:00:39.000Z
Shipping Cost: 28.22 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Reachability Problems
Number of Pages: 193 Pages
Language: English
Publication Name: Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Publisher: Springer International Publishing A&G
Publication Year: 2016
Subject: Computer Science
Item Height: 235 mm
Item Weight: 3226 g
Type: Textbook
Author: Igor Potapov, Jiri Srba, Kim Guldstrand Larsen
Series: Lecture Notes in Computer Science
Item Width: 155 mm
Format: Paperback
