Items related to Reachability Problems: 5th International Workshop,...
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings: 6945 (Lecture Notes in Computer Science, 6945) - Softcover
This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, R.P. 2011, held in Genoa, Italy, in September 2011. The 16 papers presented together with 4 invited talks were carefully reviewed and selected from 24 submissions. The workshop deals with reachability problems that appear in algebraic structures, computational models, hybrid systems, logic, and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2011
- ISBN 10 3642242871
- ISBN 13 9783642242878
- BindingPaperback
- Number of pages257
- EditorDelzanno Giorgio, Potapov Igor
Buy New
Learn more about this copy
£ 54.25
Shipping:
£ 2.07
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Reachability Problems : 5th International Workshop, Rp 2011, Genoa, Italy, September 28-30, 2011, Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # 14214889-n
Buy New
£ 54.25
Convert currency
Seller Image
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings (Lecture Notes in Computer Science) [Paperback ]
Print on Demand
Seller:
Rating
Book Description Soft Cover. Condition: new. This item is printed on demand. Seller Inventory # 9783642242878
Buy New
£ 56.40
Convert currency
Stock Image
Reachability Problems : 5th International Workshop; RP 2011; Genoa; Italy; September 28-30; 2011; Proceedings
Published by
Springer
(2011)
ISBN 10: 3642242871
ISBN 13: 9783642242878
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783642242878_lsuk
Buy New
£ 48.96
Convert currency
Stock Image
Reachability Problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783642242878
Buy New
£ 46.11
Convert currency
Seller Image
Reachability Problems : 5th International Workshop, Rp 2011, Genoa, Italy, September 28-30, 2011, Proceedings
Seller:
Rating
Book Description Condition: New. Seller Inventory # 14214889-n
Buy New
£ 48.59
Convert currency
Stock Image
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings (Lecture Notes in Computer Science, 6945)
Published by
Springer
(2011)
ISBN 10: 3642242871
ISBN 13: 9783642242878
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020221576
Buy New
£ 60.52
Convert currency
Stock Image
Reachability Problems: 5th International Workshop, Rp 2011, Genoa, Italy, September 28-30, 2011, Proceedings
Published by
Springer-Verlag New York Inc
(2011)
ISBN 10: 3642242871
ISBN 13: 9783642242878
New
Paperback
Quantity: 2
Seller:
Rating
Book Description Paperback. Condition: Brand New. 2011 edition. 257 pages. 9.25x6.10x0.59 inches. In Stock. Seller Inventory # x-3642242871
Buy New
£ 71.49
Convert currency
Seller Image
Reachability Problems
Published by
Springer Berlin Heidelberg
(2011)
ISBN 10: 3642242871
ISBN 13: 9783642242878
New
Kartoniert / Broschiert
Quantity: > 20
Seller:
Rating
Book Description Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date results Fast-track conference proceedings State-of-the-art researchThis book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 201. Seller Inventory # 5053517
Buy New
£ 42.72
Convert currency
Stock Image
Reachability Problems
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(2011)
ISBN 10: 3642242871
ISBN 13: 9783642242878
New
Softcover
Quantity: 15
Seller:
Rating
Book Description Condition: New. Constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011. This book includes the papers dealing with reachability problems that appear in algebraic structures, computational models, hybrid systems, logic, and verification. Editor(s): Delzanno, Giorgio; Potapov, Igor. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 380. . 2011. Paperback. . . . . Seller Inventory # V9783642242878
Buy New
£ 79.54
Convert currency
Stock Image
Reachability Problems
Seller:
Rating
Book Description Condition: New. pp. 260. Seller Inventory # 264329590
Buy New
£ 96.06
Convert currency