Reachability Problems
Subtitle: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
By: edited by Alain Finkel, Jérôme Leroux, Igor Potapov
Contributors: Leroux, Jérôme; Potapov, Igor; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7550
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642335129
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