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

© For any Suggestions or Query, please contact the library staff @ librarian@pes.edu or Phone: +9180 2672 1983/ 2108.