Delzanno, Giorgio.
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / [electronic resource] : edited by Giorgio Delzanno, Igor Potapov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6945 0302-9743 ; . - Lecture Notes in Computer Science, 6945 .
9783642242885
10.1007/978-3-642-24288-5 doi
Computer science.
Software engineering.
Computer software.
Logic design.
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / [electronic resource] : edited by Giorgio Delzanno, Igor Potapov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6945 0302-9743 ; . - Lecture Notes in Computer Science, 6945 .
9783642242885
10.1007/978-3-642-24288-5 doi
Computer science.
Software engineering.
Computer software.
Logic design.
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113