Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Paperback(2012)

$54.99
Want it by Thursday, November 15 Order now and choose Expedited Shipping during checkout.

Product Details

ISBN-13: 9783642335112
Publisher: Springer Berlin Heidelberg
Publication date: 08/17/2012
Series: Lecture Notes in Computer Science , #7550
Edition description: 2012
Pages: 149
Product dimensions: 6.10(w) x 9.25(h) x 0.01(d)

Table of Contents

Reachability problems in algebraic structures, computational models, hybrid systems, logic and verification.- Finite- and infinite-state concurrent systems.- Computational models.- Decision procedures.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews