Reachability problems : 8th international workshop, RP: proceedings, Oxford, UK, Sep. 22-24, 2014 (e-book)

Reachability problems : 8th international workshop, RP: proceedings, Oxford, UK, Sep. 22-24, 2014 (e-book) - - Berlin Springer 2014 - - Lecture notes in computer science ; 8762 .

978-3-319-11439-2



Computer Science and Engineering
Computer systems-Verification-Congresses , Decidability (Mathematical logic) -Congresses , Computer science-Mathematics-Congresses

Powered by Koha