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

by Giorgio Delzanno (Editor), Igor Potapov (Editor)

• New

  Illustrated
  2011

  $53.29

  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.