Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings :: ISBN 9783319245362 :: Springer 2015 :: OBNB, the Open British National Bibliography

Publication Data

Title Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings
Contributors Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov
Publisher Springer
Publication date 2015
Publication location Cham
Language English

Descriptive Notes

"ISSN 1611-3349 (electronic)" --Title page verso.

Topics

Computer simulation :: Congresses
Computer systems :: Verification :: Congresses
Decidability (Mathematical logic) :: Congresses
Configurations :: Congresses

Catalogue Data

OBNB ID GBB5E6048
ISBN 10 3319245368
ISBN 13 9783319245362
Type BibliographicResource, Book
Dewey Classification 003.3

ISBD

P1053 xx, 178 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 : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings. ISBN 9783319245362. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.