Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings :: ISBN 9783642410352 :: Springer 2013 :: OBNB, the Open British National Bibliography

Publication Data

Title Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings
Contributors Parosh Aziz Abdulla, Igor Potapov
Publisher Springer
Publication date 2013
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 GBB391892
ISBN 10 3642410359
ISBN 13 9783642410352
Type BibliographicResource, Book
Dewey Classification 003.3

ISBD

P1053 xii, 221 pages
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 : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings. ISBN 9783642410352. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.