Kučera, Antonín.
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / [electronic resource] : edited by Antonín Kučera, Igor Potapov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6227 0302-9743 ; . - Lecture Notes in Computer Science, 6227 .
9783642153495
10.1007/978-3-642-15349-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 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings / [electronic resource] : edited by Antonín Kučera, Igor Potapov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6227 0302-9743 ; . - Lecture Notes in Computer Science, 6227 .
9783642153495
10.1007/978-3-642-15349-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