Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings (Paperback, 2012 ed.)

This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as 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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Theoretical Computer Science and General Issues, 7550
Release date:	August 2012
First published:	2012
Editors:	Alain Finkel • Jerome LeRoux • Igor Potapov
Dimensions:	235 x 155 x 8mm (L x W x T)
Format:	Paperback
Pages:	149
Edition:	2012 ed.
ISBN-13:	978-3-642-33511-2
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > General Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-642-33511-X
Barcode:	9783642335112

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!