Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19 2012 : proceedings :: ISBN 9783642335112 :: Springer 2012 :: OBNB, the Open British National Bibliography

Publication Data

Title Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19 2012 : proceedings
Contributors A. Finkel, Jérôme Leroux, Igor Potapov
Publisher Springer
Publication date 2012
Publication location Heidelberg
Language English

Topics

Computer simulation :: Congresses
Computer systems :: Verification :: Congresses
Decidability (Mathematical logic) :: Congresses
Configurations :: Congresses
Hybrid systems :: Congresses
Ordered algebraic structures :: Congresses

Catalogue Data

OBNB ID GBB295298
ISBN 10 364233511X
ISBN 13 9783642335112
Type BibliographicResource, Book
Dewey Classification 003.3

ISBD

P1053 xii, 148 p.
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19 2012 : proceedings. ISBN 9783642335112. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.