Automata, Languages and Programming
Aceto, Luca.
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II / [electronic resource] : edited by Luca Aceto, Monika Henzinger, Jiří Sgall. - Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6756 0302-9743 ; .
9783642220128
Computer science
Computer Communication Networks
Software engineering
Computer software
Logic design
Computer Science
Logics and Meanings of Programs
Software Engineering
Mathematical Logic and Formal Languages
Computer Communication Networks
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II / [electronic resource] : edited by Luca Aceto, Monika Henzinger, Jiří Sgall. - Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6756 0302-9743 ; .
9783642220128
Computer science
Computer Communication Networks
Software engineering
Computer software
Logic design
Computer Science
Logics and Meanings of Programs
Software Engineering
Mathematical Logic and Formal Languages
Computer Communication Networks
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices