Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings - Theoretical Computer Science and General Issues 5797 (Paperback)
  • Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings - Theoretical Computer Science and General Issues 5797 (Paperback)
zoom

Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings - Theoretical Computer Science and General Issues 5797 (Paperback)

(editor), (editor)
£62.99
Paperback 233 Pages / Published: 07/09/2009
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures and predictability in iterative maps and new computational paradigms.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642044199
Number of pages: 233
Weight: 379 g
Dimensions: 235 x 155 x 13 mm
Edition: 2009 ed.

You may also be interested in...

The Lattice Boltzmann Equation
Added to basket
Probability and Computing
Added to basket
The End of Error
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
The Elements of Statistical Learning
Added to basket
Discrete Mathematics
Added to basket
A First Course in Coding Theory
Added to basket
The Art of Computer Programming
Added to basket
Cryptanalysis
Added to basket
Bayesian Methods for Hackers
Added to basket
Data Analysis with Open Source Tools
Added to basket
Coding Theory
Added to basket
£44.99
Paperback
Numerical Recipes 3rd Edition
Added to basket
Sets, Logic and Maths for Computing
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.