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.
Shipping:
£ 2.04
Within U.S.A.
Shipping:
£ 9.98
From United Kingdom to U.S.A.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 14214889
Quantity: 5 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783642242878_lsuk
Quantity: Over 20 available
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New. Seller Inventory # 6666-IUK-9783642242878
Quantity: 10 available
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 14214889-n
Quantity: 5 available
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Mar3113020221576
Quantity: Over 20 available
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New. Seller Inventory # 14214889-n
Quantity: 5 available
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken, -ecken und -kanten leicht angestoßen, Ausgabe 2011 | Seiten: 244 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 11197521/12
Quantity: 1 available
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition. Seller Inventory # 14214889
Quantity: 5 available
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2011 edition. 257 pages. 9.25x6.10x0.59 inches. In Stock. Seller Inventory # x-3642242871
Quantity: 2 available
Seller: moluna, Greven, Germany
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
Quantity: Over 20 available