Reachability problems : 7th international workshop, RP 2013 : proceedings, Uppsala, Sweden, Sept. 24-26, 2013 (e-book)

Reachability problems : 7th international workshop, RP 2013 : proceedings, Uppsala, Sweden, Sept. 24-26, 2013 (e-book) - - Berlin Springer 2013 - - Lecture notes in computer science ; v.8169 .

978-3-642-41036-9



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

Powered by Koha