An edition of Reachability Problems
(2010)
Reachability Problems
8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
by Parosh Aziz Abdulla and Igor Potapov
- 0 Ratings
- 2 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer simulation, Computers, Decidability (mathematical logic), Configurations, System theory, Operating systems (computers), Computer science, mathematics, Computer systems, Congresses, Verification, Decidability (Mathematical logic), Computer science, Mathematics, Engineering & Applied Sciences, Computer Science, Software engineering, Coding theory, Logic design, Computation by Abstract Devices, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Coding and Information Theory
Book Details
Edition Notes
Source title: Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings (Lecture Notes in Computer Science (8762))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| December 8, 2022 | Edited by MARC Bot | import existing book |
| January 26, 2022 | Edited by ImportBot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| May 17, 2020 | Created by ImportBot | import new book |