Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings - Lecture Notes in Computer Science 6945 (Paperback)
  • Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings - Lecture Notes in Computer Science 6945 (Paperback)
zoom

Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings - Lecture Notes in Computer Science 6945 (Paperback)

(editor), (editor)
£44.99
Paperback 245 Pages / Published: 19/09/2011
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 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 modelled as games.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642242878
Number of pages: 245
Weight: 380 g
Dimensions: 235 x 155 x 15 mm

You may also be interested in...

Designing Data-Intensive Applications
Added to basket
C Programming in Easy Steps
Added to basket
The Pragmatic Programmer
Added to basket
Eloquent Javascript, 2nd Ed.
Added to basket
Python in Easy Steps
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Code
Added to basket
£21.99
Paperback
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Building Android Apps in Easy Steps
Added to basket
The Agile Culture
Added to basket
Automate The Boring Stuff With Python
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.