Reachability Problems
Giorgio Delzanno, Igor Potapov
Reachability Problems - New York Springer US 2011 - Lecture Notes in Computer Science .
978-3-642-24288-5
Computer Science
Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices
Reachability Problems - New York Springer US 2011 - Lecture Notes in Computer Science .
978-3-642-24288-5
Computer Science
Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices
