An edition of Reachability Problems (2012)
Reachability Problems
6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
By Alain Finkel
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2012
Publisher
Springer Berlin Heidelberg,Imprint: Springer
Language
eng
Pages
-
Description:
subjects: Mathematical Logic and Formal Languages, Software engineering, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Programming Languages, Compilers, Interpreters, Computer software, Numerical analysis, Algorithms, Computer systems, Congresses, Verification, Numerical Analysis, Computer-Assisted