Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30 2011 : proceedings :: ISBN 9783642242878 :: Springer 2011 :: OBNB, the Open British National Bibliography

Publication Data

Title Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30 2011 : proceedings
Contributors Giorgio Delzanno, Igor Potapov
Publisher Springer
Publication date 2011
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 GBB1B4147
ISBN 10 3642242871
ISBN 13 9783642242878
Type BibliographicResource, Book
Dewey Classification 003.3

ISBD

P1053 xii, 244 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 : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30 2011 : proceedings. ISBN 9783642242878. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.