Cerone, Antonio.
Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / [electronic resource] : edited by Antonio Cerone, Pekka Pihlajasaari. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6916 0302-9743 ; . - Lecture Notes in Computer Science, 6916 .
9783642232831
10.1007/978-3-642-23283-1 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Algorithm Analysis and Problem Complexity.
QA75.5-76.95
004.0151
Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / [electronic resource] : edited by Antonio Cerone, Pekka Pihlajasaari. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6916 0302-9743 ; . - Lecture Notes in Computer Science, 6916 .
9783642232831
10.1007/978-3-642-23283-1 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Algorithm Analysis and Problem Complexity.
QA75.5-76.95
004.0151